Interface-based specification and verification of concurrency controllers

zbMATH Open1271.68132MaRDI QIDQ2845501FDOQ2845501

Aysu Betin-Can, Tevfik Bultan

Publication date: 30 August 2013

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• Highly dependable concurrent programming using design for verification
• Title not available (Why is that?)

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)