Featherweight VeriFast
VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs. It has been used as a vehicle for exploration and validation of novel program verification techniques and for industrial cas...
Main Authors: | Bart Jacobs, Frédéric Vogels, Frank Piessens |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2015-09-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/1595/pdf |
Similar Items
-
Java & Lambda: a Featherweight Story
by: Lorenzo Bettini, et al.
Published: (2018-09-01) -
Bases as Coalgebras
by: Bart Jacobs
Published: (2013-09-01) -
A Recipe for State-and-Effect Triangles
by: Bart Jacobs
Published: (2017-05-01) -
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
by: Bart Jacobs
Published: (2015-10-01) -
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
by: Bart Jacobs
Published: (2010-06-01)