Reproducing synchronization bugs with model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2144, Issue , 2001, Pages 98-103

  Yorav, Karen ^a   Katz, Sagi ^a   Kiper, Ron ^a  

^a Galileo Technology   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING; SYNCHRONIZATION;

ASYNCHRONOUS MODELS; COUNTER EXAMPLES; FUNCTIONAL MODEL; MODEL-CHECKING TECHNOLOGY; PHYSICAL PHENOMENA; SIMULATION AND MODELING; SYNCHRONOUS MODELS; VERIFICATION METHOD;

MODEL CHECKING;

EID: 84947265661     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44798-9_8     Document Type: Conference Paper

References (3)

1. L. Glasser and D. Dopperpuhl. The design and analysis of VLSI circuits. Addison- Wesley, 1985.
2. K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993.
3. The RuleBase homepage at IBM: http://www.haifa.il.ibm.com/projects/verification/RB_homepage/.