Analysis of Executable Software Models

DOI10.1007/978-3-319-07317-0_1zbMath1445.68050OpenAlexW157225795MaRDI QIDQ5175771

Reiner Hähnle, Richard Bubel, Antonio Flores-Montoya

Publication date: 25 February 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-07317-0_1

Mathematics Subject Classification ID

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

Related Items

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS

Uses Software

• COSTA
• SPEED
• SACO
• ABS
• JCobox

Cites Work

• Observable behavior of distributed systems: component reasoning for concurrent objects
• Closed-form upper bounds in static cost analysis
• More Precise Yet Widely Applicable Cost Analysis
• A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
• Proofs of Networks of Processes
• Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
• Precise Cost Analysis via Local Reasoning
• Termination and Cost Analysis of Loops with Concurrent Interleavings
• SPEED
• Multivariate amortized resource analysis