scientific article; zbMATH DE number 2080048
From MaRDI portal
Publication:4472236
Recommendations
- A tool-supported proof system for multithreaded Java.
- An assertion-based proof system for multithreaded Java
- scientific article; zbMATH DE number 1670562
- Constraint-based automatic verification of abstract models of multithreaded programs
- A dynamic logic for deductive verification of multi-threaded programs
Cited in
(20)- Verifying a Compiler for Java Threads
- On the \(\omega\)-language expressive power of extended Petri nets
- Expressive Power of Broadcast Consensus Protocols
- scientific article; zbMATH DE number 1759614 (Why is no real title available?)
- Directed reachability for infinite-state systems
- Running time analysis of broadcast consensus protocols
- scientific article; zbMATH DE number 1670562 (Why is no real title available?)
- Parameterized model checking of rendezvous systems
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- A dynamic logic for deductive verification of multi-threaded programs
- scientific article; zbMATH DE number 5499373 (Why is no real title available?)
- scientific article; zbMATH DE number 7407775 (Why is no real title available?)
- Security monitor inlining and certification for multithreaded Java
- Multi-parameterised compositional verification of safety properties
- Constraint-based automatic verification of abstract models of multithreaded programs
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS
- Well-structured languages
- Data flow analysis of asynchronous systems using infinite abstract domains
- Monotonic extensions of Petri nets: forward and backward search revisited
- Light-weight SMT-based model checking
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472236)
