๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Compositional Analysis of C/C++ Programs with VeriSoft

โœ Scribed by Juergen Dingel

Publisher
Springer-Verlag
Year
2006
Tongue
English
Weight
708 KB
Volume
43
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Analysis of gas leakage through C/C comp
Analysis of gas leakage through C/C composites
โœ Hiroshi Hatta; Kazunari Shibuya; Yuichi Nishiyama; Yasuo Kogo ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 770 KB

Gas leakage through carbon-fiber-reinforced carbon matrix composites (C / Cs) was examined with respect to the application of C / Cs in heat exchangers in an engine system for a future space plane. Because C / Cs have many cracks and pores, gas readily leaks through them. To predict and prevent this

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