- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A formal verification technique for behavioural model-to-model transformations ; day:9 ; month:10 ; year:2017 ; pages:1-41
Formal aspects of computing ; (9.10.2017), 1-41
- Classification
-
Mathematik
- Creator
-
Putter, Sander de
- Contributor
-
Wijs, Anton
SpringerLink (Online service)
- DOI
-
10.1007/s00165-017-0437-z
- URN
-
urn:nbn:de:1111-2017112513311
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:29 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
- Putter, Sander de
- Wijs, Anton
- SpringerLink (Online service)
Other Objects (12)
Modelling Memory Consistency Models for Formal Verification
Formal Verification of Algorithms for Automata and Model Checking
Formal verification of model refactorings for hybrid control systems
Supporting Validation and Verification of State-Based Formal Models
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games
A modal logic for handling behavioural constraints in formal hardware verification
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
A symbolic model checking approach in formal verification of distributed systems
Prover - Toward More Efficient Formal Verification of Masking in Probing Model
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Subjects, models, languages, transformations
Integrating formal verification into the model-based development of adaptive embedded systems
Modelling Memory Consistency Models for Formal Verification
Formal Verification of Algorithms for Automata and Model Checking
Formal verification of model refactorings for hybrid control systems
Supporting Validation and Verification of State-Based Formal Models
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games
A modal logic for handling behavioural constraints in formal hardware verification
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
A symbolic model checking approach in formal verification of distributed systems
Prover - Toward More Efficient Formal Verification of Masking in Probing Model
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Subjects, models, languages, transformations
Integrating formal verification into the model-based development of adaptive embedded systems
Modelling Memory Consistency Models for Formal Verification
Formal Verification of Algorithms for Automata and Model Checking
Formal verification of model refactorings for hybrid control systems
Supporting Validation and Verification of State-Based Formal Models
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games
A modal logic for handling behavioural constraints in formal hardware verification
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
A symbolic model checking approach in formal verification of distributed systems
Prover - Toward More Efficient Formal Verification of Masking in Probing Model
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Subjects, models, languages, transformations