On Stubborn Sets in the Verification of Linear Time Temporal Properties.

Kimmo Varpaaniemi

Published in: ICATPN (1998)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
weighted average
formal specification
worst case
possibility theory
probabilistic model