9 results found Sort:

PrincetonUniversity
VST PrincetonUniversity
92
436
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 9 days ago
hwayne
learntla-v2 hwayne
40
197
other
13
Learn TLA+ for free! No prior experience necessary!
tla book tlaplus formal-methods formal-verification formal-specification
Created 2022-01-27
176 commits to master branch, last one about a month ago
Fault-lang
Fault Fault-lang
6
164
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 2 months ago
tofgarion
spark-by-example tofgarion
16
150
unknown
14
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
6
104
apache-2.0
11
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,310 commits to main branch, last one 5 days ago
fraunhoferfokus
acsl-by-example fraunhoferfokus
20
99
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
60
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,758 commits to master branch, last one 3 days 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 8 months ago
AllanBlanchard
tutoriel_wp AllanBlanchard
16
52
other
6
Frama-C and WP tutorial
c frama-c formal-methods deductive-reasoning formal-verification formal-specification
Created 2017-02-03
389 commits to master branch, last one 2 years ago