Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Instituts für Informatik der CAU Kiel ; 0302
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2003
- Urheber
- URN
-
urn:nbn:de:gbv:8:1-zs-00000160-a8
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
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
- Berghammer, Rudolf
- Müller-Olm, Markus
- Universitätsbibliothek Kiel
Entstanden
- 2003
Ähnliche Objekte (12)
Formal derivation of pointer algorithms
Die Approximation formaler Schnitte
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Lectures on proof verification and approximation algorithms
Algebraic derivation of until rules and application to timer verification
Towards cooperative software verification with test generation and formal verification
Rigorous Derivation of the Oberbeck–Boussinesq Approximation Revealing Unexpected Term
Formal derivation of pointer algorithms
Die Approximation formaler Schnitte
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Lectures on proof verification and approximation algorithms
Algebraic derivation of until rules and application to timer verification
Towards cooperative software verification with test generation and formal verification
Rigorous Derivation of the Oberbeck–Boussinesq Approximation Revealing Unexpected Term
Formal derivation of pointer algorithms
Die Approximation formaler Schnitte
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Lectures on proof verification and approximation algorithms
Algebraic derivation of until rules and application to timer verification
Towards cooperative software verification with test generation and formal verification