What's formal software verification?

Oana Niculaescu

doi:10.1145/3341815

What's formal software verification?

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3341815 ◽

2019 ◽

Vol 25 (4) ◽

pp. 64-65

Author(s):

Oana Niculaescu

Keyword(s):

Software Verification ◽

Formal Software Verification

Download Full-text

A formal software verification concept based on automated theorem proving and reverse engineering

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999823 ◽

2003 ◽

Cited By ~ 5

Author(s):

M. Popovic ◽

V. Kovacevic ◽

I. Velikic

Keyword(s):

Reverse Engineering ◽

Theorem Proving ◽

Automated Theorem Proving ◽

Software Verification ◽

Formal Software Verification

Download Full-text

A candid industrial evaluation of formal software verification using model checking

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591184 ◽

2014 ◽

Cited By ~ 11

Author(s):

Matthew Bennion ◽

Ibrahim Habli

Keyword(s):

Model Checking ◽

Software Verification ◽

Formal Software Verification

Download Full-text

Methods of Formal Software Verification in the Context of Distributed Systems

Computational Science and Its Applications – ICCSA 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-24296-1_43 ◽

2019 ◽

pp. 546-555 ◽

Cited By ~ 1

Author(s):

Anna Fatkina ◽

Oleg Iakushkin ◽

Dmitry Selivanov ◽

Vladimir Korkhov

Keyword(s):

Distributed Systems ◽

Software Verification ◽

Formal Software Verification

Download Full-text

Similarities and reuse of proofs in formal software verification

Lecture Notes in Computer Science - Advances in Case-Based Reasoning ◽

10.1007/bfb0056323 ◽

1998 ◽

pp. 76-87 ◽

Cited By ~ 4

Author(s):

Erica Melis ◽

Axel Schairer

Keyword(s):

Software Verification ◽

Formal Software Verification

Download Full-text

A comparison of tools for teaching formal software verification

Formal Aspects of Computing ◽

10.1007/s00165-008-0084-5 ◽

2008 ◽

Vol 21 (3) ◽

pp. 293-301 ◽

Cited By ~ 5

Author(s):

Ingo Feinerer ◽

Gernot Salzer

Keyword(s):

Software Verification ◽

Formal Software Verification

Download Full-text

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering ◽

10.1109/icse.2015.85 ◽

2015 ◽

Cited By ~ 9

Author(s):

Daniel Matichuk ◽

Toby Murray ◽

June Andronick ◽

Ross Jeffery ◽

Gerwin Klein ◽

...

Keyword(s):

Empirical Study ◽

Software Verification ◽

Leading Indicator ◽

Formal Software Verification

Download Full-text

A Survey of Automated Techniques for Formal Software Verification

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2008.923410 ◽

2008 ◽

Vol 27 (7) ◽

pp. 1165-1178 ◽

Cited By ~ 159

Author(s):

Vijay D'Silva ◽

Daniel Kroening ◽

Georg Weissenbacher

Keyword(s):

Software Verification ◽

Formal Software Verification

Download Full-text

Search-Based Software Testing for Formal Software Verification – and Vice Versa

Search-Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59762-7_1 ◽

2020 ◽

pp. 3-6

Author(s):

Shiva Nejati

Keyword(s):

Software Testing ◽

Software Verification ◽

Formal Software Verification

Download Full-text

A practical approach to formal software verification by static analysis

ACM SIGAda Ada Letters ◽

10.1145/1387830.1387836 ◽

2008 ◽

Vol XXVIII (1) ◽

pp. 92-95 ◽

Cited By ~ 5

Author(s):

Arnaud Venet

Keyword(s):

Static Analysis ◽

Software Verification ◽

Practical Approach ◽

Formal Software Verification

Download Full-text

Formal software verification measures up

Communications of the ACM ◽

10.1145/3464933 ◽

2021 ◽

Vol 64 (7) ◽

pp. 13-15

Author(s):

Samuel Greengard

Keyword(s):

Software Verification ◽

Mathematical Proofs ◽

Formal Software Verification

Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?

Download Full-text