Model-checking multi-threaded distributed Java programs

DOI10.1007/10722468_14MaRDI QIDQ2753763zbMATH OpenFDO

Authors Scott D. Stoller

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722468_14

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Transformations for model checking distributed Java programs
• Model checking of concurrent algorithms: from Java to C
• Towards the automated verification of multithreaded Java programs
• Run-time checking multi-threaded Java programs
• Model checking concurrent programs
• Mechanising a type-safe model of multithreaded Java with a verified compiler

Cited in

(20)

• Mechanising a type-safe model of multithreaded Java with a verified compiler
• Concurrent software verification with states, events, and deadlocks
• Verification of Boolean programs with unbounded thread creation
• Run-time checking multi-threaded Java programs
• Cloud-based verification of concurrent software
• Causality-based verification of multi-threaded programs
• Distributed verification of multi-threaded C++ programs
• Partial order reduction for rewriting semantics of programming languages
• Model checking of concurrent algorithms: from Java to C
• Combining model checking and testing
• A model checking-based approach for security policy verification of mobile systems
• Towards the automated verification of multithreaded Java programs
• Transformations for model checking distributed Java programs
• A dynamic logic for deductive verification of multi-threaded programs
• Framework for testing multi‐threaded Java programs
• Towards Efficient Verification of Systems with Dynamic Process Creation
• Modular verification of multithreaded programs
• Model Checking Multithreaded Programs with Asynchronous Atomic Methods
• Verifying time partitioning in the DEOS scheduling kernel
• Translating Java for multiple model checkers: The Bandera back-end

This page was built for publication: Model-checking multi-threaded distributed Java programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753763)