The following pages link to (Q4551147):
Displaying 7 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Formula-dependent equivalence for compositional CTL model checking (Q698104) (← links)
- A generalized semantics of PROMELA for abstract model checking (Q1882796) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- (Q4411974) (← links)
- (Q4791848) (← links)
- Computer Aided Verification (Q5716598) (← links)