AFifarek / SpeAR
Specification and Analysis for Requirements Tool
☆10Updated 8 years ago
Related projects: ⓘ
- Automated Analysis Framework for Simulink/Stateflow☆15Updated last year
- ☆33Updated 5 years ago
- Automated Controller Synthesis☆14Updated 6 years ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆23Updated 7 years ago
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 4 years ago
- Open Source AADL2 Tool Environment☆36Updated last month
- ☆20Updated last year
- Library of AADL models☆42Updated 2 years ago
- ☆14Updated 3 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated last month
- Examples and case-study that use OSATE☆56Updated 3 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated 2 weeks ago
- DARPA CASE program☆13Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆17Updated last year
- DSVerifier - Digital Systems Verifier☆12Updated 5 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆64Updated 2 years ago
- ☆15Updated 3 months ago
- SmalL bUt Complete GROne Synthesizer☆35Updated 3 weeks ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆72Updated 7 years ago
- A hardware model checker for hyperproperties☆18Updated 3 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆40Updated 3 weeks ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆98Updated last year
- ☆27Updated last year