𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Satisfiability solving for software verification

✍ Scribed by David Déharbe; Silvio Ranise

Book ID
106245510
Publisher
Springer
Year
2009
Tongue
English
Weight
164 KB
Volume
11
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic verification and satisfiability
Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing
✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,

Tools for software verification
Tools for software verification
✍ Parosh Aziz Abdulla,K. Rustan M. Leino 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 115 KB