Partial model checking of modal equations: a survey (Q1856172)
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: Partial model checking of modal equations: a survey |
scientific article; zbMATH DE number 1862282
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial model checking of modal equations: a survey |
scientific article; zbMATH DE number 1862282 |
Statements
Partial model checking of modal equations: a survey (English)
0 references
1999
0 references
Partial model checking is a technique for verifying concurrent systems. It gradually reduces the verification problem to the final answer by removing concurrent components one-by-one, transforming and minimizing the specifications as it proceeds. This paper gives a survey of the theory behind partial model checking and the results obtained with it.
0 references
model checking
0 references
modal \(\mu\)-calculus
0 references
verification
0 references
state explosion
0 references
