- Weitere Titel
-
Formale Verifikation von Algorithmen für Automaten und Model Checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2022
- Schlagwort
-
Verifikation
Formale Methode
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2022
- Urheber
-
Brunner, Julian M.
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bvb:91-diss-20221219-1622049-1-5
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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
- Brunner, Julian M.
- Nipkow, Tobias
- Esparza Estaun, Francisco Javier
- Universitätsbibliothek der TU München
Entstanden
- 2022
Ähnliche Objekte (12)
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Time constrained verification of analog circuits using model-checking algorithms
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Directed model checking for timed automata
Verification of reactive systems : formal methods and algorithms
Automata-based model checking of recursive systems
Model checking pPDA vs unambiguous automata
Computer verification of algorithms using a formal proof system
Using model checking for system verification
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
An online model-checking framework for timed automata
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Time constrained verification of analog circuits using model-checking algorithms
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Directed model checking for timed automata
Verification of reactive systems : formal methods and algorithms
Automata-based model checking of recursive systems
Model checking pPDA vs unambiguous automata
Computer verification of algorithms using a formal proof system
Using model checking for system verification
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
An online model-checking framework for timed automata
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Time constrained verification of analog circuits using model-checking algorithms
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Directed model checking for timed automata
Verification of reactive systems : formal methods and algorithms
Automata-based model checking of recursive systems
Model checking pPDA vs unambiguous automata
Computer verification of algorithms using a formal proof system
Using model checking for system verification
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms