9 results found Sort:

PrincetonUniversity
VST PrincetonUniversity
93
442
other
23
Verified Software Toolchain
c coq proof coq-vst compcert coq-library verification formal-methods proof-assistant formal-verification formal-specification
Created 2014-11-21
7,697 commits to master branch, last one 2 months ago
hwayne
learntla-v2 hwayne
41
198
other
13
Learn TLA+ for free! No prior experience necessary!
tla book tlaplus formal-methods formal-verification formal-specification
Created 2022-01-27
177 commits to master branch, last one 8 days ago
Fault-lang
Fault Fault-lang
6
167
mit
7
a language for building system dynamic models
compiler system-dynamics system-modeling formal-specification
Created 2021-01-26
198 commits to main branch, last one 4 months ago
tofgarion
spark-by-example tofgarion
16
153
unknown
15
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
ada formal-methods formal-verification formal-specification
Created 2018-05-09
778 commits to Community2018 branch, last one 5 years ago
AdaCore
RecordFlux AdaCore
7
106
apache-2.0
12
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
ada spark parser python binary-parser formal-methods protocol-parser formal-verification formal-specification communication-protocol protocol-specification
Created 2018-02-07
3,356 commits to main branch, last one 3 days ago
fraunhoferfokus
acsl-by-example fraunhoferfokus
20
101
mit
20
Public snapshots of "ACSL by Example"
c acsl frama-c wp-plugin formal-methods formal-verification formal-specification
Created 2017-06-13
101 commits to master branch, last one 3 years ago
workcraft
workcraft workcraft
142
61
mit
10
Toolset to capture, simulate, synthesize and verify graph models
cad eda fsm stg async circuit petri-nets simulation logic-synthesis formal-verification formal-specification
Created 2016-02-07
4,807 commits to master branch, last one a day ago
GaloisInc
grift GaloisInc
8
56
agpl-3.0
16
Galois RISC-V ISA Formal Tools
risc-v coverage simulation formal-methods coverage-analysis formal-specification
Created 2018-08-08
480 commits to master branch, last one 10 months ago
AllanBlanchard
tutoriel_wp AllanBlanchard
16
55
other
6
Frama-C and WP tutorial
c frama-c formal-methods deductive-reasoning formal-verification formal-specification
Created 2017-02-03
545 commits to master branch, last one 11 days ago