Interface-based specification and verification of concurrency controllers

MaRDI QIDQ2845501zbMATH OpenFDO

Authors Aysu Betin-Can, Tevfik Bultan

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105800076

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A perspective on specifying and verifying concurrent modules
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• An integrated specification and verification technique for highly concurrent data structures
• Refined Interfaces for Compositional Verification
• Modular verification for shared-variable concurrent programs

Cited in

(3)

• Highly dependable concurrent programming using design for verification
• scientific article; zbMATH DE number 1931943 (Why is no real title available?)
• scientific article; zbMATH DE number 5181788 (Why is no real title available?)

Describes a project that uses

Uses Software

• Java PathFinder

This page was built for publication: Interface-based specification and verification of concurrency controllers

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