Automatic Verification of Sequential Infinite-State Processes

• Main Author: Burkart, Olaf (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Edition: 1st ed. 1997.
• Series: Lecture Notes in Computer Science, 1354
• Subjects: Computer logic.; Software engineering.; Computer programming.; Logics and Meanings of Programs.; Software Engineering.; Programming Techniques.

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that cent...

Table of Contents:

• Background
• Pushdown Processes
• Model Checking
• Equivalence Checking
• Summary and Perspectives.