Hochschulschrift

Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
xx, 204 Seiten
Notes
Illustrationen
Universität Leipzig, Habilitationsschrift, 2019

Classification
Informatik
Keyword
Automat
Zeitbehafteter Automat
Zählerautomat
Model Checking

Event
Veröffentlichung
(where)
Leipzig
(when)
2019
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:32 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 2019

Other Objects (12)

Concurrent timed port automata

Concurrent timed port automata

Timed Automata Relaxation for Reachability

zweidimensionales bewegtes Bild

Timed Automata Relaxation for Reachability

Learning One-Clock Timed Automata

zweidimensionales bewegtes Bild

Learning One-Clock Timed Automata

Machine learning of timed automata

Hochschulschrift

Machine learning of timed automata

Machine Learning of Timed Automata

Hochschulschrift

Machine Learning of Timed Automata

Learning One-Clock Timed Automata

Learning One-Clock Timed Automata

Automata on infinite objects

Automata on infinite objects

Temporal graph patterns by timed automata

Temporal graph patterns by timed automata

Verifying Opacity of Discrete-Timed Automata

Verifying Opacity of Discrete-Timed Automata

Directed model checking for timed automata

Hochschulschrift

Directed model checking for timed automata

Flat counter automata almost everywhere!

Flat counter automata almost everywhere!

TarTar : A Timed Automata Repair Tool

TarTar : A Timed Automata Repair Tool

Related objects