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 Model Checking Unbounded Concurrent Lists

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

COMPLeTe − A COMmunication Protocol vaLidation Toolchain

2013 ◽  
pp. 196-208 ◽  
Author(s):  
Sven Gröning ◽  
Christopher Rosas ◽  
Christian Wietfeld
Keyword(s):  
Communication Protocol ◽  
Protocol Validation

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 Error-Completion in Interface Theories

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

scholarly journals Guard-Based Partial-Order Reduction

2013 ◽  
pp. 227-245 ◽  
Author(s):  
Alfons Laarman ◽  
Elwin Pater ◽  
Jaco van de Pol ◽  
Michael Weber
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction

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