Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642391750, 9783642391767
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Local Model Checking of Weighted CTL with Upper-Bound Constraints

2013 ◽  
pp. 178-195 ◽  
Author(s):  
Jonas Finnemann Jensen ◽  
Kim Guldstrand Larsen ◽  
Jiří Srba ◽  
Lars Kaerlund Oestergaard
Keyword(s):  
Model Checking ◽  
Upper Bound ◽  
Local Model ◽  
Bound Constraints ◽  
Weighted Ctl ◽  
Local Model Checking

scholarly journals Model Checking Unbounded Concurrent Lists

2013 ◽  
pp. 320-340 ◽  
Author(s):  
Divjyot Sethi ◽  
Muralidhar Talupur ◽  
Sharad Malik
Keyword(s):  
Model Checking

scholarly journals Error-Completion in Interface Theories

2013 ◽  
pp. 358-375 ◽  
Author(s):  
Stavros Tripakis ◽  
Christos Stergiou ◽  
Manfred Broy ◽  
Edward A. Lee

scholarly journals Verifying a Quantitative Relaxation of Linearizability via Refinement

2013 ◽  
pp. 24-42 ◽  
Author(s):  
Kiran Adhikari ◽  
James Street ◽  
Chao Wang ◽  
Yang Liu ◽  
ShaoJie Zhang

scholarly journals Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms

2013 ◽  
pp. 209-226 ◽  
Author(s):  
Annu John ◽  
Igor Konnov ◽  
Ulrich Schmid ◽  
Helmut Veith ◽  
Josef Widder
Keyword(s):  
Model Checking ◽  
Distributed Algorithms ◽  
Fault Tolerant
Load More ...
Sign in / Sign up

Export Citation Format

Share Document