An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking

DOI10.1007/978-3-030-31784-3_10zbMath1437.68117OpenAlexW2981866743MaRDI QIDQ3297592

Martin Kölbl, Stefan Leue

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1u56ubk3dc5085

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Operational causality -- necessarily sufficient and sufficiently necessary

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Causality Checking for Complex System Models
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking