A to Z
Electronic Notes in Theoretical Computer Science
0802 Computation Theory and Mathematics, 0803 Computer Software, 1702 Cognitive Sciences
publication venue for
PML: Toward a High-Level Formal Language for Biological Systems
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Inferring Object Invariants
A Satisfiability-Based Approach to Abstraction Refinement in Model Checking1 1This work was supported in part by SRC contract 2001-TJ-920 and NSF grant CCR-99-71195.
Collecting Statistics over Runtime Executions1 1This research was supported in part by NSF(ITR) grant CCR-01-21403, by NSF grant CCR-99-00984-001, by ARO grant DAAD19-01-1-0723, and by ARPA/AF contracts F33615-00-C-1693 and F33615-99-C-3014.
Symbolic State Exploration