Highly dependable concurrent programming using design for verification

DOI10.1007/s00165-006-0017-0zbMath1121.68027OpenAlexW2067680178MaRDI QIDQ2643127

Tevfik Bultan, Aysu Betin-Can

Publication date: 23 August 2007

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-006-0017-0

zbMATH Keywords

SynchronizationInterfacesModel checkingConcurrent programmingDesign patterns

Mathematics Subject Classification ID

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

Related Items (1)

Highly dependable concurrent programming using design for verification

Uses Software

• SyncGen
• BLAST
• SLAM
• ESC/Java
• Bandera

Cites Work

• Highly dependable concurrent programming using design for verification
• Communicating sequential processes
• Synthesis of interface specifications for Java classes
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Highly dependable concurrent programming using design for verification