Automatic Verification of Sequential Infinite-State Processes

• Κύριος συγγραφέας: Burkart, Olaf (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Computer Science, 1354
• Θέματα: 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...

Πίνακας περιεχομένων:

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