Causality Checking for Complex System Models

DOI10.1007/978-3-642-35873-9_16zbMath1426.68173OpenAlexW2106461572MaRDI QIDQ2926648

Florian Leitner-Fischer, Stefan Leue

Publication date: 3 November 2014

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

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

Mathematics Subject Classification ID

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

Related Items (6)

Temporal causality in reactive systems ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Causal Kripke Models ⋮ An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking ⋮ Dynamic causes for the violation of timed reachability properties ⋮ Explaining safety failures in NetKAT

This page was built for publication: Causality Checking for Complex System Models