Parametric and Sliced Causality
From MaRDI portal
Publication:5429325
DOI10.1007/978-3-540-73368-3_27zbMath1135.68468OpenAlexW1579452275MaRDI QIDQ5429325
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_27
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 (5)
Model Checking Concurrent Programs ⋮ Sound concurrent traces for online monitoring ⋮ Symbolic predictive analysis for concurrent programs ⋮ Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋮ Efficient abstraction algorithms for predicate detection
Uses Software
This page was built for publication: Parametric and Sliced Causality