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 the normal view instead:
scientific article; zbMATH DE number 1110379
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7986478805541992
0 references
0.7827950716018677
0 references
0.7747703790664673
0 references
