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

Kimmo Varpaaniemi

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
formal specification
weighted average
possibility theory
population size
neural network
decision making
worst case
modal logic