An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Proceedings / Chen, Yu-Fang; Cheng, Chih-Hong; Esparza, Javier (Hrsg.). - Cham : Springer Nature, 2019. - (Lecture Notes in Computer Science ; 11781). - S. 171-186. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-31783-6
In: International Symposium on Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, 28. Okt. 2019 - 31. Okt. 2019, Taipei
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2019
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-1u56ubk3dc5085
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kölbl, Martin
- Leue, Stefan
- KOPS Universität Konstanz
Entstanden
- 2019
Ähnliche Objekte (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Towards causality checking for complex system models
Causality Checking of Safety-Critical Software and Systems
Causality in econometric modeling: From theory to structural causal modeling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Towards causality checking for complex system models
Causality Checking of Safety-Critical Software and Systems
Causality in econometric modeling: From theory to structural causal modeling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Towards causality checking for complex system models
Causality Checking of Safety-Critical Software and Systems