The following pages link to (Q4472236):
Displaying 19 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Running time analysis of broadcast consensus protocols (Q2233402) (← links)
- Data flow analysis of asynchronous systems using infinite abstract domains (Q2233447) (← links)
- Directed reachability for infinite-state systems (Q2233488) (← links)
- On the \(\omega\)-language expressive power of extended Petri nets (Q2491637) (← links)
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762) (← links)
- Well-structured languages (Q2641880) (← links)
- (Q2753763) (← links)
- Monotonic extensions of Petri nets: forward and backward search revisited (Q2842877) (← links)
- Verifying a Compiler for Java Threads (Q3558240) (← links)
- (Q4536605) (← links)
- (Q5155664) (← links)
- Light-Weight SMT-based Model Checking (Q5178977) (← links)
- (Q5506391) (← links)
- Security monitor inlining and certification for multithreaded Java (Q5740632) (← links)
- Expressive Power of Broadcast Consensus Protocols (Q5875393) (← links)