A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Ursprünglich in: A modal logic for handling behavioural constraints in formal hardware verification. - Edinburgh, 1993. - IX, 236 S. : graph. Darst.. - Zugl.: Edinburgh, Univ., Diss., 1992
- Event
-
Veröffentlichung
- (where)
-
Bamberg
- (who)
-
Otto-Friedrich-Universität Bamberg
- (when)
-
2018
- Creator
-
Mendler, Michael
- DOI
-
10.20378/irbo-52663
- URN
-
urn:nbn:de:bvb:473-opus4-526634
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
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
- Mendler, Michael
- Otto-Friedrich-Universität Bamberg
Time of origin
- 2018
Other Objects (12)
A modal logic for handling behavioural constraints in formal hardware verification
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Modeling and verification of material handling systems
Translating formal specifications into behavioural hardware descriptions
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Verification of modal properties using Boolean equation systems
Formal hardware verification : methods and systems in comparison
Introduction to formal hardware verification : with 32 tables
Formal verification and automated masking of cryptographic hardware
A modal logic for handling behavioural constraints in formal hardware verification
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Modeling and verification of material handling systems
Translating formal specifications into behavioural hardware descriptions
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Verification of modal properties using Boolean equation systems
Formal hardware verification : methods and systems in comparison
Introduction to formal hardware verification : with 32 tables
Formal verification and automated masking of cryptographic hardware
A modal logic for handling behavioural constraints in formal hardware verification
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Modeling and verification of material handling systems
Translating formal specifications into behavioural hardware descriptions
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Verification of modal properties using Boolean equation systems
Formal hardware verification : methods and systems in comparison
Introduction to formal hardware verification : with 32 tables