-
Trace2Model Public
Learning Concise Models from Long Execution Traces
-
ActiveLearning Public
Active Learning of Abstract System Models from Traces
-
Exploring-ARINC-429 Public
A generic implementation of the ARINC 429 data transfer standard in SLDV
1 UpdatedMay 10, 2021 -
PredicateSynth Public
Set of benchmarks for automaton transition predicate synthesis
Slash BSD 3-Clause "New" or "Revised" License UpdatedMar 3, 2021 -
-
aws-templates-for-cbmc-proofs Public
Forked from model-checking/cbmc-starter-kitTemplates for writing CBMC proofs for C code
Makefile Apache License 2.0 UpdatedSep 25, 2020 -
aws-viewer-for-cbmc Public
Forked from model-checking/cbmc-viewerScans the output of CBMC and produces a browsable summary of the results.
Python Apache License 2.0 UpdatedSep 25, 2020 -
aws-iot-device-sdk-embedded-C Public
Forked from markrtuttle/aws-iot-device-sdk-embedded-CSDK for connecting to AWS IoT from a device using embedded C.
-
s2n Public
Forked from feliperodri/s2ns2n : an implementation of the TLS/SSL protocols
-
aws-c-common Public
Forked from awslabs/aws-c-commonCore c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C Apache License 2.0 UpdatedSep 23, 2020 -
-
A comparison of different ANN networks for classifying hand written digits based on test loss and test accuracy. The parameters modified are: optimizer, activation function, number of hidden layers…
Jupyter Notebook UpdatedFeb 24, 2018 -
A Simulink Design Verifier block to switch between proof and test and set requirement tags as well.
MATLAB BSD 2-Clause "Simplified" License UpdatedAug 26, 2017 -
Exploring-Design-Verifier-4 Public
This has examples files for exploring Simulink Design Verifier
HTML BSD 2-Clause "Simplified" License UpdatedAug 26, 2017 -
This is a script to generate NuSMV and Matlab code for Mode Transitions
-
A Simulink Design Verifier applied to Autopilot Mode Transition
MATLAB BSD 2-Clause "Simplified" License UpdatedAug 26, 2017 -
Exploring-Design-Verifier Public
A set of Simulink blocks to explore Design Verifier in Flight Controls
-
In this submission an autopilot Stateflow model is mutated using a Matlab script. Mutation of a Stateflow model means injecting a deliberate error into a state transition. Each mutant file has only…
-
TCP BBR is a recently proposed algorithm by Google. It’s design is significantly different than the TCP extensions proposed in the past 30 years. BBR algorithm has been implemented in Linux 4.9. Th…
UpdatedMay 11, 2017 -
Daedalus Public
Forked from IEEE-NITK/DaedalusRepository for code pertaining to the Cryptography project undertaken by NITK IEEE Systems and Security Programming Group
Python MIT License UpdatedApr 19, 2017 -
DeepNLP Public
Forked from IEEE-NITK/DeepNLPRepository for code pertaining to the Deep Learning with NLP Project undertaken by NITK IEEE AI Group
Jupyter Notebook MIT License UpdatedMar 30, 2017 -