𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automated Interface Refinement for Compositional Verification

✍ Scribed by Haiqiong Yao; Hao Zheng

Book ID
117908189
Publisher
IEEE
Year
2009
Tongue
English
Weight
352 KB
Volume
28
Category
Article
ISSN
0278-0070

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Editorial: automated compositional verif
Editorial: automated compositional verification
✍ Giannakopoulou, D.; Pasareanu, C.S. πŸ“‚ Article πŸ“… 2010 πŸ› The Institution of Engineering and Technology 🌐 English βš– 88 KB
Automated verification of refinement law
Automated verification of refinement laws
✍ Peter HΓΆfner; Georg Struth; Geoff Sutcliffe πŸ“‚ Article πŸ“… 2009 πŸ› Springer Netherlands 🌐 English βš– 411 KB
Automated Compositional Abstraction Refi
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach
✍ Sagar Chaki; JoΓ«l Ouaknine; Karen Yorav; Edmund Clarke πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 992 KB

The state space explosion problem in model checking remains the chief obstacle to the practical verification of real-world distributed systems. We attempt to address this problem in the context of verifying concurrent (message-passing) C programs against safety specifications. More specifically, we