The following pages link to (Q2754093):
Displayed 4 items.
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)