Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Ursprünglich in: Designing Correct Circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford / edited by Geraint Jones, Mary Sheeran. - London, 1991. - (Workshops in Computing), Seite 1-28
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
Otto-Friedrich-Universität Bamberg
- (wann)
-
2018
- Urheber
-
Mendler, Michael
- DOI
-
10.20378/irbo-52666
- URN
-
urn:nbn:de:bvb:473-opus4-526664
- 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
- Mendler, Michael
- Otto-Friedrich-Universität Bamberg
Entstanden
- 2018
Ähnliche Objekte (12)
Local verification of global proofs
Formal verification of cryptographic security proofs
Mechanism design with financially constrained agents and costly verification
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Time constrained verification of analog circuits using model-checking algorithms
A modal logic for handling behavioural constraints in formal hardware verification
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games
Reusing Proofs
Proofs and Provability
Generating Multilingual Proofs
Proofs and "Puzzles"
Local verification of global proofs
Formal verification of cryptographic security proofs
Mechanism design with financially constrained agents and costly verification
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Time constrained verification of analog circuits using model-checking algorithms
A modal logic for handling behavioural constraints in formal hardware verification
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games
Reusing Proofs
Proofs and Provability
Generating Multilingual Proofs
Proofs and "Puzzles"
Local verification of global proofs
Formal verification of cryptographic security proofs
Mechanism design with financially constrained agents and costly verification
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Time constrained verification of analog circuits using model-checking algorithms
A modal logic for handling behavioural constraints in formal hardware verification
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games
Reusing Proofs
Proofs and Provability
Generating Multilingual Proofs