Recently Added

A Survey of Hybrid Techniques for Functional VerificationJayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray. dt, 24(2):112-122, 2007. [doi] [classification] 9 months ago
Scaling static analyses at FacebookDino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn. CACM, 62(8):62-70, 2019. [doi] [classification] 9 months ago
BP: Formal Proofs, the Fine Print and Side EffectsToby C. Murray, Paul C. van Oorschot. secdev 2018: 1-10 [doi] [classification] 10 months ago
Comprehensive formal verification of an OS microkernelGerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser. tocs, 32(1):2, 2014. [doi] [classification] 11 months ago
Infer: An Automatic Program Verifier for Memory Safety of C ProgramsCristiano Calcagno, Dino Distefano. NFM 2011: 459-465 [doi] [classification] 11 months ago
Formal verification of a realistic compilerXavier Leroy. CACM, 52(7):107-115, 2009. [doi] [classification] 11 months ago
Formal Verification in Automotive Industry: Enablers and ObstaclesMattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman. ISoLA 2018: 139-158 [doi] [classification] 11 months ago
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and JavaBart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens. NFM 2011: 41-55 [doi] [classification] 11 months ago
Software verification with VeriFast: Industrial case studiesPieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs 0002, Frank Piessens. SCP, 82:77-97, 2014. [doi] [classification] 11 months ago
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVSSam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke. TSE, 21(2):107-125, 1995. [doi] [classification] 11 months ago
A Deductive Verification Platform for Cryptographic SoftwareManuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliåtre, Bárbara Vieira. eceasst, 33, 2010. [doi] [classification] 11 months ago
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case StudyYuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian. fmics 2019: 143-159 [doi] [classification] 11 months ago
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer ScientistsLéo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet. tfm 2019: 23-36 [doi] [classification] 11 months ago
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience ReportDilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman. fmics 2017: 3-18 [doi] [classification] 11 months ago
Deductive Verification of Smart Contracts with DafnyFranck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles. fmics 2022: 50-66 [doi] [classification] 11 months ago
Adversarial robustness of deep neural networks: A survey from a formal verification perspectiveMeng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. IEEE Transactions on Dependable and Secure Computing, , 2022. [classification] 11 months ago
Formal Verification of Medical Device User Interfaces Using PVSPaolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby. FASE 2014: 200-214 [doi] [classification] 11 months ago
Formal Specification and Verification of Autonomous Robotic Systems: A SurveyMatt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher. ACM Comput. Surv., 52(5), 2019. [doi] [classification] 11 months ago
Formal Verification of Ada ProgramsDavid Guaspari, Carla Marceau, Wolfgang Polak. larch 1993: 104-141 [classification] 11 months ago
Diversity-Driven Automated Formal VerificationEmily First, Yuriy Brun. ICSE 2022: 1-13 [doi] [classification] 11 months ago
Formal Verification of Software Countermeasures against Side-Channel AttacksHassan Eldib, Chao Wang, Patrick Schaumont. TOSEM, 24(2):11, 2014. [doi] [classification] 11 months ago
Frama-C - A Software Analysis PerspectivePascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski. SEFM 2012: 233-247 [doi] [classification] 11 months ago
The B-book - assigning programs to meaningsJean-Raymond Abrial. Cambridge University Press, 2005. [classification] 11 months ago
Industrial experience with SPARKChapman, Roderick. ACM SIGAda Ada Letters, 20(4):64-68, 2000. [classification] 11 months ago
Formal verification of automotive embedded softwareVassil Todorov, Frédéric Boulanger, Safouan Taha. ICSE 2018: 84-87 [doi] [classification] 11 months ago
Formal Verification of Algorithms for Critical SystemsJohn M. Rushby, Friedrich W. von Henke. TSE, 19(1):13-23, 1993. [doi] [classification] 11 months ago
Large-scale formal verification in practice: A process perspectiveJune Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu. ICSE 2012: 1002-1011 [doi] [classification] 11 months ago
Randomized Differential Testing as a Prelude to Formal VerificationAlex Groce, Gerard J. Holzmann, Rajeev Joshi. ICSE 2007: 621-631 [doi] [classification] 11 months ago
Formal Verification of Critical Aerospace SoftwareWiels, Virginie, Delmas, Robert, Doose, David, Garoche, Pierre-Lo{\"i}c, Cazin, J., Durrieu, Guy. Aerospace Lab, (4), May 2012. [classification] 11 months ago