VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java

By Bart P. F. Jacobs, Jan Smans, Pieter Philippaerts, F. Vogels, Willem Penninckx, Frank Piessens. NASA Formal Methods, 2011

457 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/acd8d3df882c7be3be2c3af1c2e42575f1fc138a

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Thomas Wies

In Computational Theory and Mathematics

1. Thomas Wies

In Hardware and Architecture

1. Thomas Wies

Citations in the corpus

• GRASShopper - Complete Heap Verification with Mixed Specifications (2014, methodology): “In particular, tools such as VeriFast [15] and Chalice [17], which are based on this approach, use pattern-based quantifier instantiation heuristics to check the resulting verification conditions.”