Model checking of safety properties

Orna Kupferman*, Moshe Y. Vardi

*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

470 Scopus citations

Fingerprint

Dive into the research topics of 'Model checking of safety properties'. Together they form a unique fingerprint.

Engineering

Keyphrases

Computer Science