Introductory paper : [zu: Special section on the algorithmics of software model checking]
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: International Journal on Software Tools for Technology Transfer ; 6 (2004), 4. - S. 257-259. - ISSN 1433-2779
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-57692
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dwyer, Matthew
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Explicit state model checking in the development process for interlocking software systems
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
On the synergy of probabilistic causality computation and causality checking
Generation of Counterexamples for Model Checking of Markov Decision Processes
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer linear programming-based property checking for asynchronous reactive systems
Trail-Directed Model Checking
Explicit state model checking in the development process for interlocking software systems
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
On the synergy of probabilistic causality computation and causality checking
Generation of Counterexamples for Model Checking of Markov Decision Processes
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer linear programming-based property checking for asynchronous reactive systems
Trail-Directed Model Checking
Explicit state model checking in the development process for interlocking software systems
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
On the synergy of probabilistic causality computation and causality checking
Generation of Counterexamples for Model Checking of Markov Decision Processes
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer linear programming-based property checking for asynchronous reactive systems