VeriFast is a separation logic-based program verifier for Java. This tutorial introduces the verifier's features step by step. © Springer-Verlag Berlin Heidelberg 2013.
CITATION STYLE
Smans, J., Jacobs, B., & Piessens, F. (2013). VeriFast for Java: A tutorial. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7850, 407–442. https://doi.org/10.1007/978-3-642-36946-9_14
Mendeley helps you to discover research relevant for your work.