ulyantsev / EFSM-toolsLinks
Tools for extended finite-state machine synthesis and testing
☆19Updated 2 years ago
Alternatives and similar repositories for EFSM-tools
Users that are interested in EFSM-tools are comparing it to the libraries listed below
Sorting:
- C Code Source Metrics - tool to gather simple metrics from C code☆39Updated last year
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆26Updated 8 years ago
- KLEEF Symbolic Execution Engine☆20Updated 4 months ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆21Updated 6 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆34Updated 6 years ago
- Program dependence graph in LLVM☆42Updated 4 months ago
- code coverage for c☆50Updated 8 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆201Updated 2 years ago
- Create minimum MCDC test sets for a boolean expression☆45Updated 4 years ago
- static analysis benchmarks from Toyota ITC☆118Updated 2 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Updated 7 years ago
- Generate C language control flow diagrams and Dupath in Python language☆15Updated 3 years ago
- Generating the call graph from elf binary file☆38Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆186Updated 4 years ago
- ☆22Updated 3 weeks ago
- CoreSight trace stream decoder developed openly☆176Updated last month
- Experiments with the gcc plugin mechanism☆111Updated last year
- Intrepyd Model Checker☆18Updated 4 years ago
- A Python model checking package☆68Updated last year
- Slicing tool for c++ programs using clang AST.☆18Updated 4 years ago
- A python C code generator☆92Updated last year
- Teaching and Learning Software Verification via SVF☆34Updated 4 months ago
- GCNO and GCDA parser and writer implementation in Dart☆14Updated 8 years ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆24Updated 11 months ago
- Static Analyzer and Verifier☆51Updated last year
- A tool based on Clang used to generate control-flow-graph for C/C++ code☆10Updated 6 years ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆172Updated 7 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆22Updated 3 years ago
- A CallGraph Generation LLVM Pass for C and C++ program☆31Updated 3 years ago