Model checking
- Wikidata
- https://www.wikidata.org/wiki/Q1569697
- OpenAlex ID
- https://openalex.org/C110251889 (API record)
- OpenAlex Description
- None
- OpenAlex Level [?]
- 2
Broader Concepts
Narrower Concepts
- Abstraction model checking
- Automated proof checking
- Computation tree logic
- Formal equivalence checking
- Kripke structure
- Partial order reduction
- Predicate abstraction
- Promela
- Symbolic trajectory evaluation
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.