The following pages link to (Q2769585):
Displaying 8 items.
- Specification and encoding of transaction interaction properties (Q453491) (← links)
- Modular verification of multithreaded programs (Q557795) (← links)
- Context-aware counter abstraction (Q600978) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- On the \(\omega\)-language expressive power of extended Petri nets (Q2491637) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
