Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

26
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642142949, 9783642142956
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Logical Product Approach to Zonotope Intersection

2010 ◽  
pp. 212-226 ◽  
Author(s):  
Khalil Ghorbal ◽  
Eric Goubault ◽  
Sylvie Putot
Keyword(s):  
Product Approach ◽  
Logical Product

scholarly journals Dynamic Cutoff Detection in Parameterized Concurrent Programs

2010 ◽  
pp. 645-659 ◽  
Author(s):  
Alexander Kaiser ◽  
Daniel Kroening ◽  
Thomas Wahl
Keyword(s):  
Concurrent Programs

scholarly journals Automated Assume-Guarantee Reasoning through Implicit Learning

2010 ◽  
pp. 511-526 ◽  
Author(s):  
Yu-Fang Chen ◽  
Edmund M. Clarke ◽  
Azadeh Farzan ◽  
Ming-Hsien Tsai ◽  
Yih-Kuen Tsay ◽  
...  
Keyword(s):  
Implicit Learning

scholarly journals Fences in Weak Memory Models

2010 ◽  
pp. 258-272 ◽  
Author(s):  
Jade Alglave ◽  
Luc Maranget ◽  
Susmit Sarkar ◽  
Peter Sewell
Keyword(s):  
Memory Models

scholarly journals Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing

2010 ◽  
pp. 132-147 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Yu-Fang Chen ◽  
Lorenzo Clemente ◽  
Lukáš Holík ◽  
Chih-Duo Hong ◽  
...  
Keyword(s):  
Büchi Automata ◽  
Buchi Automata

SPLIT: A Compositional LTL Verifier

2010 ◽  
pp. 558-561 ◽  
Author(s):  
Ariel Cohen ◽  
Kedar S. Namjoshi ◽  
Yaniv Sa’ar
Load More ...
Sign in / Sign up

Export Citation Format

Share Document