✦ LIBER ✦

A Survey of Automated Techniques for Formal Software Verification

✍ Scribed by D'Silva, V.; Kroening, D.; Weissenbacher, G.

Book ID: 117908136
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 495 KB
Volume: 27
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2008.923410

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A comparative study of formal verificati

A comparative study of formal verification techniques for software architecture specifications

✍ Jeffrey J.P. Tsai; Kuang Xu 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 103 KB

A comparison of tools for teaching forma

A comparison of tools for teaching formal software verification

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

Improving automation software dependabil

Improving automation software dependability: A role for formal methods?

✍ Timothy L. Johnson 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 364 KB

A Visual Tradeoff Space for Formal Verif

A Visual Tradeoff Space for Formal Verification and Validation Techniques

✍ Drusinsky, D.; Michael, J.B.; Shing, M.-T. 📂 Article 📅 2008 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 366 KB

Formal verification of timed systems: a

Formal verification of timed systems: a survey and perspective

✍ Farn Wang 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 607 KB

An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools,

Formal Verification of Timed Systems: A

Formal Verification of Timed Systems: A Survey and Perspective

✍ Falk, H. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 30 KB