9 results found Sort:

PrincetonUniversity
VST PrincetonUniversity
93
445
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,698 commits to master branch, last one 24 days ago
hwayne
learntla-v2 hwayne
41
201
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 about a month ago
Fault-lang
Fault Fault-lang
6
165
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 5 months ago
tofgarion
spark-by-example tofgarion
16
155
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
8
109
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,509 commits to main branch, last one 10 days ago
fraunhoferfokus
acsl-by-example fraunhoferfokus
20
103
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
62
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,831 commits to master branch, last one 7 days ago
AllanBlanchard
tutoriel_wp AllanBlanchard
16
57
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 about a month ago
GaloisInc
grift GaloisInc
8
55
agpl-3.0
20
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 11 months ago