Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

60
(FIVE YEARS 0)

H-INDEX

21
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642221095, 9783642221101
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Smoothing a Program Soundly and Robustly

2011 ◽  
pp. 277-292 ◽  
Author(s):  
Swarat Chaudhuri ◽  
Armando Solar-Lezama

Synthia: Verification and Synthesis for Timed Automata

2011 ◽  
pp. 649-655 ◽  
Author(s):  
Hans-Jörg Peter ◽  
Rüdiger Ehlers ◽  
Robert Mattmüller
Keyword(s):  
Timed Automata

scholarly journals Getting Rid of Store-Buffers in TSO Analysis

2011 ◽  
pp. 99-115 ◽  
Author(s):  
Mohamed Faouzi Atig ◽  
Ahmed Bouajjani ◽  
Gennaro Parlato

scholarly journals Fully Symbolic Model Checking for Timed Automata

2011 ◽  
pp. 616-632 ◽  
Author(s):  
Georges Morbé ◽  
Florian Pigorsch ◽  
Christoph Scholl
Keyword(s):  
Model Checking ◽  
Timed Automata ◽  
Symbolic Model Checking ◽  
Symbolic Model

scholarly journals Kratos – A Software Model Checker for SystemC

2011 ◽  
pp. 310-316 ◽  
Author(s):  
Alessandro Cimatti ◽  
Alberto Griggio ◽  
Andrea Micheli ◽  
Iman Narasamdya ◽  
Marco Roveri
Keyword(s):  
Model Checker ◽  
Software Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document