- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: SEFM 2016: Software Engineering and Formal Methods
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
-
Jähnig, Nils
Göthel, Thomas
Glesner, Sabine
- DOI
-
10.14279/depositonce-9792
- Handle
-
11303/10899
- URN
-
urn:nbn:de:101:1-2020031101001925130578
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
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
- Jähnig, Nils
- Göthel, Thomas
- Glesner, Sabine
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (12)
Adaptive refinement for unstructured T-splines with linear complexity
Communicating rational agents: semantics and verification
Formal verification of low-level code in a model-based refinement process
Refinement and separation: modular verification of wandering trees
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Improving Neural Network Verification through Spurious Region Guided Refinement
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Vectorization system for unstructured codes with a Data-parallel Compiler IR
Adaptive refinement for unstructured T-splines with linear complexity
Communicating rational agents: semantics and verification
Formal verification of low-level code in a model-based refinement process
Refinement and separation: modular verification of wandering trees
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Improving Neural Network Verification through Spurious Region Guided Refinement
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Vectorization system for unstructured codes with a Data-parallel Compiler IR
Adaptive refinement for unstructured T-splines with linear complexity
Communicating rational agents: semantics and verification
Formal verification of low-level code in a model-based refinement process
Refinement and separation: modular verification of wandering trees
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Improving Neural Network Verification through Spurious Region Guided Refinement
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems