- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VIII, 179 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Kiel, Univ., Diss., 2003
- Klassifikation
-
Informatik
- Schlagwort
-
Parametrisiertes System
Transitionssystem
Verifikation
Model Checking
Lebendigkeit
Fairness
- Urheber
-
Baukus, Kai
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:31 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Baukus, Kai
Ähnliche Objekte (12)
Abstraction-based verification of parameterized networks
Parameterized verification of systems with component identities, using view abstraction
Graph grammar verification through abstraction
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs
Abstraction-based verification of parameterized networks
Parameterized verification of systems with component identities, using view abstraction
Graph grammar verification through abstraction
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs
Abstraction-based verification of parameterized networks
Parameterized verification of systems with component identities, using view abstraction
Graph grammar verification through abstraction
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits