Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[2] Frank Pfenning,et al. Elf: A Meta-Language for Deductive Systems (System Descrition) , 1994, CADE.
[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[4] Edmund M. Clarke,et al. Model checking, abstraction, and compositional verification , 1993 .
[5] Claire Loiseaux,et al. A Tool for Symbolic Program Verification and Abstration , 1993, CAV.
[6] Pierre Wolper,et al. Expressing interesting properties of programs in propositional temporal logic , 1986, POPL '86.
[7] Hardi Hungar. Combining Model Checking and Theorem Proving to Verify Parallel Processes , 1993, CAV.
[8] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .
[9] Susanne Graf,et al. Verification of a Distributed Cache Memory by Using Abstractions , 1994, CAV.
[10] Edmund M. Clarke,et al. Model checking and abstraction , 1994, TOPL.