ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
A Method to Generate Verification Condition Generator
2011 Fifth International Conference on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2011.25
◽
2011
◽
Cited By ~ 1
Author(s):
Zhaopeng Li
◽
Yang Zhang
◽
Yiyun Chen
Keyword(s):
Verification Condition
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close