A Generalized Approach to Verification Condition Generation

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00032 ◽

2018 ◽

Cited By ~ 1

Author(s):

Claudio Belo Lourenco ◽

Maria Joao Frade ◽

Shin Nakajima ◽

Jorge Sousa Pinto

Keyword(s):

Verification Condition

Download Full-text

Building verification condition generators by compositional extensions

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.11 ◽

2005 ◽

Author(s):

I.S.W.B. Prasetya ◽

A.A. Fakultas ◽

T.E.J. Vos ◽

A. van Leeuwen

Keyword(s):

Verification Condition

Download Full-text

Building Verification Condition Generators by Compositional Extension

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.08.052 ◽

2007 ◽

Vol 191 ◽

pp. 73-83 ◽

Cited By ~ 1

Author(s):

A.J. van Leeuwen

Keyword(s):

Verification Condition

Download Full-text

A Verification Condition Visualizer

Verified Software: Theories, Tools and Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12154-3_5 ◽

2014 ◽

pp. 72-86 ◽

Cited By ~ 2

Author(s):

Madiha Jami ◽

Andrew Ireland

Keyword(s):

Verification Condition

Download Full-text

Generating error traces from verification-condition counterexamples

Science of Computer Programming ◽

10.1016/j.scico.2004.05.016 ◽

2005 ◽

Vol 55 (1-3) ◽

pp. 209-226 ◽

Cited By ~ 25

Author(s):

K. Rustan M. Leino ◽

Todd Millstein ◽

James B. Saxe

Keyword(s):

Verification Condition

Download Full-text

A machine-checked soundness proof for an efficient verification condition generator

Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 ◽

10.1145/1774088.1774610 ◽

2010 ◽

Cited By ~ 2

Author(s):

Frédéric Vogels ◽

Bart Jacobs ◽

Frank Piessens

Keyword(s):

Verification Condition ◽

Efficient Verification

Download Full-text

Automatic construction of verification condition generators from hoare logics

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_30 ◽

1981 ◽

pp. 363-377 ◽

Cited By ~ 7

Author(s):

Mark Moriconi ◽

Richard L. Schwartz

Keyword(s):

Automatic Construction ◽

Verification Condition

Download Full-text

An implementation of a verification condition generator for foundational proof-carrying code

2011 Ninth Annual International Conference on Privacy, Security and Trust ◽

10.1109/pst.2011.5971989 ◽

2011 ◽

Author(s):

Jiangong Weng ◽

A. Felty

Keyword(s):

Verification Condition

Download Full-text

As-Built Verification, Condition Assessment, and Forensic Analysis of Mechanically-Stabilized Earth Walls Incorporating Terrestrial Lidar

Geotechnical and Structural Engineering Congress 2016 ◽

10.1061/9780784479742.038 ◽

2016 ◽

Cited By ~ 2

Author(s):

M. P. McGuire ◽

M. B. S. Yust ◽

J. G. Collin

Keyword(s):

Condition Assessment ◽

Forensic Analysis ◽

Mechanically Stabilized Earth ◽

Terrestrial Lidar ◽

Mechanically Stabilized Earth Walls ◽

Verification Condition ◽

Mechanically Stabilized ◽

Earth Walls

Download Full-text

Verification condition generation for conditional information flow

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314438 ◽

2007 ◽

Cited By ~ 13

Author(s):

Torben Amtoft ◽

Anindya Banerjee

Keyword(s):

Information Flow ◽

Verification Condition ◽

Conditional Information

Download Full-text

A mechanically verified verification condition generator

The Computer Journal ◽

10.1093/comjnl/38.2.131 ◽

1995 ◽

Vol 38 (2) ◽

pp. 131-141 ◽

Cited By ~ 26

Author(s):

P. V. Homeier

Keyword(s):

Verification Condition

Download Full-text