Skip to contents

Käufl, Thomas [Author]

Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1989

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,9
Ben-David, Naama [Author]; Friedman, Michal [Author]; Wei, Yuanhao [Author] ; Naama Ben-David and Michal Friedman and Yuanhao Wei [Contributor]

Brief Announcement: Survey of Persistent Memory Correctness Conditions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Dongol, Brijesh [Author]; Derrick, John [Author]; Groves, Lindsay [Author]; Smith, Graeme [Author] ; Brijesh Dongol and John Derrick and Lindsay Groves and Graeme Smith [Contributor]

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Flick, Nils Erik [Author] ; Habel, Annegret [Degree supervisor]; König, Barbara [Degree supervisor]

Proving correctness of graph programs relative to recursively nested conditions

View online
Schließen

Access

https://d-nb.info/112248190X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2016
Castañeda, Armando [Author]; Piña, Miguel [Author] ; Armando Castañeda and Miguel Piña [Contributor]

Fully Read/Write Fence-Free Work-Stealing with Multiplicity

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Castañeda, Armando [Author]; Rajsbaum, Sergio [Author]; Raynal, Michel [Author] ; Armando Castañeda and Sergio Rajsbaum and Michel Raynal [Contributor]

Relaxed Queues and Stacks from Read/Write Operations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Olderog, Ernst-Rüdiger [Author]; Fränzle, Martin [Author]; Theel, Oliver [Author]; Kröger, Paul [Author]

System correctness under adverse conditions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: Information technology ; 63(2021), 5/6, Seite 249-251
Flick, Nils Erik [Author] ; Habel, Annegret [Degree supervisor]; König, Barbara [Other]

Proving correctness of graph programs relative to recursively nested conditions

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg, 2016
Flick, Nils Erik [Author]

Proving correctness of graph programs relative to recursively nested conditions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2016

Published in: Electronic communications of the EASST ; Bd. 73 (2016), insges. 20 S.
Flick, Nils Erik [Author]

Proving correctness of graph programs relative to recursively nested conditions

View online
Schließen

Links

http://oops.uni-oldenburg.de/2895/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server, 2016
Flick, Nils Erik [Author]

On correctness of graph programs relative to recursively nested conditions

View online
Schließen

Access

http://ceur-ws.org/Vol-1403/paper8.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2015

Published in: CEUR workshop proceedings ; 1403(2015), Seite 97-112
Kaeufl, Thomas [Author]

Program verifier Tatzelwurm. The correctness an completeness of the generation of the verification conditions

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/62189

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Båve, Arvid

Correctness conditions for property nominalists

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2023

Published in: Synthese
Shilov, N. V.; Anureev, I. S.; Bodin, E. V.

Generation of correctness conditions for imperative programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Pleiades Publishing Ltd, 2008

Published in: Programming and Computer Software
Attiya, Hagit; Friedman, Roy

A Correctness Condition for High-Performance Multiprocessors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Society for Industrial & Applied Mathematics (SIAM), 1998

Published in: SIAM Journal on Computing
Herlihy, Maurice P.; Wing, Jeannette M.

Linearizability: a correctness condition for concurrent objects

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1990

Published in: ACM Transactions on Programming Languages and Systems
Deonna, Julien; Teroni, Fabrice

Emotions and Their Correctness Conditions: A Defense of Attitudinalism

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2024

Published in: Erkenntnis
Cook, Victor; Peterson, Christina; Painter, Zachary; Dechev, Damian

Quantifiability: a concurrent correctness condition modeled in vector space

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2023

Published in: Computing
Ospanov, Kordan N.

Correctness conditions for high-order differential equations with unbounded coefficients

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2021

Published in: Boundary Value Problems
HABEL, ANNEGRET; PENNEMANN, KARL-HEINZ

Correctness of high-level transformation systems relative to nested conditions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2009

Published in: Mathematical Structures in Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication