Stubborn Sets for Standard Properties

This publication has 9 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A partial order approach to branching time logic model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The state explosion problem
  Published by Springer Nature ,1998
• Relaxed visibility enhances partial order reduction
  Published by Springer Nature ,1997
• All from one, one for all: on model checking using representatives
  Published by Springer Nature ,1993
• On-the-fly verification with stubborn sets
  Published by Springer Nature ,1993
• A stubborn attack on state explosion
  Formal Methods in System Design, 1992
• Stubborn sets for reduced state space generation
  Published by Springer Nature ,1991
• Parallel program schemata
  Journal of Computer and System Sciences, 1969