Automatic verification of sequential infinite-state processes (Q1377904)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic verification of sequential infinite-state processes |
scientific article; zbMATH DE number 1110379
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic verification of sequential infinite-state processes |
scientific article; zbMATH DE number 1110379 |
Statements
Automatic verification of sequential infinite-state processes (English)
0 references
26 January 1998
0 references
The short monograph -- based on the author's doctoral thesis -- discusses a theoretical framework for the verification of reactive, sequential infinite-state systems. These are typically nonterminating systems. The \textit{invariance} is key concept: it records what remains true throughout the execution of the program.
0 references
sequential processes
0 references
model checking
0 references
equivalence checking
0 references
