- Alternative title
-
Formale Verifikation von Algorithmen für Automaten und Model Checking
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2022
- Keyword
-
Verifikation
Formale Methode
Model Checking
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2022
- Creator
-
Brunner, Julian M.
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20221219-1622049-1-5
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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
- Brunner, Julian M.
- Nipkow, Tobias
- Esparza Estaun, Francisco Javier
- Universitätsbibliothek der TU München
Time of origin
- 2022
Other Objects (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