natasha-jeppu Goto Github PK

activelearning

Active Learning of Abstract System Models from Traces

ai-assignment---mnist-hand-written-digits-recognition

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, number of nodes in each layer and batch size.

ai-assignment2---melanoma

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

aws-iot-device-sdk-embedded-c

SDK for connecting to AWS IoT from a device using embedded C.

aws-templates-for-cbmc-proofs

Templates for writing CBMC proofs for C code

aws-viewer-for-cbmc

Scans the output of CBMC and produces a browsable summary of the results.

cbmc

C Bounded Model Checker

daedalus

Repository for code pertaining to the Cryptography project undertaken by NITK IEEE Systems and Security Programming Group

deepnlp

Repository for code pertaining to the Deep Learning with NLP Project undertaken by NITK IEEE AI Group

exploring-arinc-429

A generic implementation of the ARINC 429 data transfer standard in SLDV

exploring-design-verifier

A set of Simulink blocks to explore Design Verifier in Flight Controls

exploring-design-verifier-4

This has examples files for exploring Simulink Design Verifier

exploring-simulink-design-verifier-2

A Simulink Design Verifier applied to Autopilot Mode Transition

exploring-simulink-design-verifier-3

This is a script to generate NuSMV and Matlab code for Mode Transitions

exploring-simulink-design-verifier-5

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 one error. Simulink Design Verifier is then used to find the mutants. If an assertion fails it means that the mutant is killed. The script is able to generate mutants for this particular Stateflow model. With minor changes it should be able to mutate any Stateflow. Another batch script runs all the mutants in a loop and reports the results in a log file. The PDF file has a brief explanation of the work done. The intent of this exercise is to ascertain the SLDV performance on a complex aerospace problem.

formal-verification-of-tcp-bbr-model-in-linux-4.9

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. This project aims to formally verify the implementation of this algorithm.

operating-system

port-block---proof-or-test-block-for-simulink-design-verifier

A Simulink Design Verifier block to switch between proof and test and set requirement tags as well.

predicatesynth

Set of benchmarks for automaton transition predicate synthesis

s2n

s2n : an implementation of the TLS/SSL protocols

trace2model

Learning Concise Models from Long Execution Traces