Verifying Concurrent Systems with Symbolic Execution

DOI10.1093/logcom/12.4.549zbMath1001.68085OpenAlexW2009570820MaRDI QIDQ3146300

Michael Balser, Christoph Duelli, Gerhard Schellhorn, Wolfgang Reif

Publication date: 11 September 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7834bb7bb3a73da5950c52dfeb0c1f9016646d8e

zbMATH Keywords

transition systemsinterval temporal logictemporal formulas

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) Temporal logic (03B44)

Related Items

A dynamic logic for deductive verification of multi-threaded programs

Uses Software

• CoFI
• KIV

This page was built for publication: Verifying Concurrent Systems with Symbolic Execution