An approach for the verification and synthesis of complete test generation algorithms for finite state machines
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bremen, Universität Bremen, Dissertation, 2022
- Schlagwort
-
Verifikation
Model Checking
Softwaretest
Formale Spezifikationstechnik
Endlicher Automat
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Bremen
- (wer)
-
Staats- und Universitätsbibliothek Bremen
- (wann)
-
2022
- Urheber
-
Sachtleben, Robert
- Beteiligte Personen und Organisationen
- DOI
-
10.26092/elib/1665
- URN
-
urn:nbn:de:gbv:46-elib60689
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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
- Sachtleben, Robert
- Peleska, Jan
- Wolff, Burkhart
- Staats- und Universitätsbibliothek Bremen
Entstanden
- 2022
Ähnliche Objekte (12)
Parallel algorithms for verification of large systems
Stratified commutativity in verification algorithms for concurrent programs
Complete Functional Verification
Multilevel Algorithms in Lattice QCD for Exascale Machines
Formal Verification of Algorithms for Automata and Model Checking
Verification of abstract state machines
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Decision algorithms for modelling, optimal control and verification of probabilistic systems
Interactive verification of UML state machines
Monitoring for verification
Complete formal hardware verification of interfaces for a FlexRay-like bus
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations
Parallel algorithms for verification of large systems
Stratified commutativity in verification algorithms for concurrent programs
Complete Functional Verification
Multilevel Algorithms in Lattice QCD for Exascale Machines
Formal Verification of Algorithms for Automata and Model Checking
Verification of abstract state machines
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Decision algorithms for modelling, optimal control and verification of probabilistic systems
Interactive verification of UML state machines
Monitoring for verification
Complete formal hardware verification of interfaces for a FlexRay-like bus
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations
Parallel algorithms for verification of large systems
Stratified commutativity in verification algorithms for concurrent programs
Complete Functional Verification
Multilevel Algorithms in Lattice QCD for Exascale Machines
Formal Verification of Algorithms for Automata and Model Checking
Verification of abstract state machines
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Decision algorithms for modelling, optimal control and verification of probabilistic systems
Interactive verification of UML state machines
Monitoring for verification
Complete formal hardware verification of interfaces for a FlexRay-like bus