Model checking of concurrent algorithms: from Java to C

DOI10.1007/978-3-642-15234-4_10MaRDI QIDQ3163921zbMATH OpenOpenAlexFDO

Authors Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto

Publication date 27 October 2010

Published in Distributed, Parallel and Biologically Inspired Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15234-4_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking concurrent programs
• Computer Aided Verification
• Modular verification of multithreaded programs
• scientific article; zbMATH DE number 1670562
• scientific article; zbMATH DE number 1670511

Cited in

(23)

• Program analysis to support concurrent programming in declarative languages
• Model checking concurrent programs
• Observations on the assured evolution of concurrent Java programs
• Modeling multithreaded applications using Petri nets
• Cloud-based verification of concurrent software
• Analysis of correct synchronization of operating system components
• Software model checking with explicit scheduler and symbolic threads
• scientific article; zbMATH DE number 1670562 (Why is no real title available?)
• Concurrent correctness in vector space
• Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs
• scientific article; zbMATH DE number 1670511 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• Modelling thread synchronization in Java using generalized net
• scientific article; zbMATH DE number 1982207 (Why is no real title available?)
• scientific article; zbMATH DE number 1903353 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• Parallel assignments in software model checking
• Modular verification of multithreaded programs
• Model checking concurrent programs with nondeterminism and randomization
• Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets
• Modeling and verifying multi-core programs
• Extracting safe thread schedules from incomplete model checking results
• Computer Aided Verification

Describes a project that uses

Uses Software

• JNuke
• SatAbs
• Bandera
• Eiffel
• Visual C#

This page was built for publication: Model checking of concurrent algorithms: from Java to C

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