formal software verification Latest Research Papers

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

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

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

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

Speeding up the Proof Strategy in Formal Software Verification

Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion - GECCO '16 Companion ◽

10.1145/2908961.2931690 ◽

2016 ◽

Cited By ~ 1

Author(s):

Markus Wagner

Keyword(s):

Software Verification ◽

Proof Strategy ◽

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 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

Formal Software Verification at Model and at Source Code Levels

Model and Data Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33609-6_16 ◽

2012 ◽

pp. 162-169

Author(s):

Anthony Fernandes Pires ◽

Thomas Polacsek ◽

Stéphane Duprat

Keyword(s):

Software Verification ◽

Source Code ◽

Formal Software Verification

Download Full-text

Formal Software Verification: How Close Are We?

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13464-7_1 ◽

2010 ◽

pp. 1-1

Author(s):

Gerard J. Holzmann

Keyword(s):

Software Verification ◽

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

formal software verification
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Formal software verification measures up

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

What's formal software verification?

Methods of Formal Software Verification in the Context of Distributed Systems

Speeding up the Proof Strategy in Formal Software Verification

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

A candid industrial evaluation of formal software verification using model checking

Formal Software Verification at Model and at Source Code Levels

Formal Software Verification: How Close Are We?

A Survey of Automated Techniques for Formal Software Verification

Export Citation Format

formal software verificationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Formal software verification measures up

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

What's formal software verification?

Methods of Formal Software Verification in the Context of Distributed Systems

Speeding up the Proof Strategy in Formal Software Verification

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

A candid industrial evaluation of formal software verification using model checking

Formal Software Verification at Model and at Source Code Levels

Formal Software Verification: How Close Are We?

A Survey of Automated Techniques for Formal Software Verification

formal software verification
Recently Published Documents