scientific article; zbMATH DE number 2080048
From MaRDI portal
Publication:4472236
zbMATH Open1043.68530MaRDI QIDQ4472236FDOQ4472236
Authors: Giorgio Delzanno, Laurent Van Begin, Jean-François Raskin 
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800173.htm
Title of this publication is not available (Why is that?)
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (20)
- Verifying a Compiler for Java Threads
- Expressive Power of Broadcast Consensus Protocols
- On the \(\omega\)-language expressive power of extended Petri nets
- Title not available (Why is that?)
- Directed reachability for infinite-state systems
- Running time analysis of broadcast consensus protocols
- Title not available (Why is that?)
- Parameterized model checking of rendezvous systems
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Title not available (Why is that?)
- A dynamic logic for deductive verification of multi-threaded programs
- Title not available (Why is that?)
- 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
- Monotonic extensions of Petri nets: forward and backward search revisited
- Data flow analysis of asynchronous systems using infinite abstract domains
- Light-weight SMT-based model checking
Uses Software
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)
