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

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319121536, 9783319121543
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Verification Condition Visualizer

2014 ◽  
pp. 72-86 ◽  
Author(s):  
Madiha Jami ◽  
Andrew Ireland
Keyword(s):  
Verification Condition

scholarly journals A Certifying Frontend for (Sub)polyhedral Abstract Domains

2014 ◽  
pp. 200-215 ◽  
Author(s):  
Alexis Fouilhe ◽  
Sylvain Boulmé
Keyword(s):  
Abstract Domains

scholarly journals Formal Modeling and Verification of CloudProxy

2014 ◽  
pp. 87-104
Author(s):  
Wei Yang Tan ◽  
Rohit Sinha ◽  
John L. Manferdelli ◽  
Sanjit A. Seshia
Keyword(s):  
Formal Modeling

scholarly journals Timed Refinement for Verification of Real-Time Object Code Programs

2014 ◽  
pp. 252-269 ◽  
Author(s):  
Mohana Asha Latha Dubasi ◽  
Sudarshan K. Srinivasan ◽  
Vidura Wijayasekara
Keyword(s):  
Real Time ◽  
Object Code

scholarly journals Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations

2014 ◽  
pp. 216-232 ◽  
Author(s):  
Julian Nagele ◽  
René Thiemann ◽  
Sarah Winkler

What Gives? A Hybrid Algorithm for Error Trace Explanation

2014 ◽  
pp. 270-286 ◽  
Author(s):  
Vijayaraghavan Murali ◽  
Nishant Sinha ◽  
Emina Torlak ◽  
Satish Chandra
Keyword(s):  
Hybrid Algorithm

scholarly journals Formalizing Semantics with an Automatic Program Verifier

2014 ◽  
pp. 37-51 ◽  
Author(s):  
Martin Clochard ◽  
Jean-Christophe Filliâtre ◽  
Claude Marché ◽  
Andrei Paskevich
Keyword(s):  
Automatic Program
Load More ...
Sign in / Sign up

Export Citation Format

Share Document