0cb8944c07
VeriFast is a research prototype of a tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. This is recommended by Kiwamu Okabe in Japan NetBSD Users' Group BOF 2017 at the University of Tokyo.
4 lines
235 B
Text
4 lines
235 B
Text
VeriFast is a research prototype of a tool for modular formal
|
|
verification of correctness properties of single-threaded and
|
|
multithreaded C and Java programs annotated with preconditions and
|
|
postconditions written in separation logic.
|