Login / Signup
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.
Bart Jacobs
Jan Smans
Pieter Philippaerts
Frédéric Vogels
Willem Penninckx
Frank Piessens
Published in:
NASA Formal Methods (2011)
Keyphrases
</>
programming language
object oriented
open source
data sets
lightweight
user friendly
byte code
artificial intelligence
source code
database applications
neural network
search engine
high level
relational databases
object oriented programming
distributed object