1
0
0
(1 - 21 von 24
)
ETAPS 2006
www.complang.tuwien.ac.at
· ... Model Checking - A Case Study: Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, and Jonathan Schmitt (Univ. of Augsburg, D) ...
Andriy Dunets | XanEdu Customization Platform
www.academicpub.com
Author: Andriy Dunets. Results. Automated Flaw Detection in Algebraic Specifications Springer Science+Business Media By: Wolfgang Reif ...
Model Checking Software: 13th International SPIN Workshop, Vienna, ...books.google.com › books
books.google.de
Verification of Medical Guidelines by Model Checking – A Case Study Simon B ̈aumler, Michael Balser, Andriy Dunets, Wolfgang Reif, and Jonathan Schmitt ...
Tests and Proofs: Second International Conference, TAP 2008, Prato,...
books.google.de
Bounded Relational Analysis of Free Data Types Andriy Dunets, Gerhard Schellhorn, and Wolfgang Reif Lehrstuhl f ̈ur Softwaretechnik und ...
Tests and Proofs: Second International Conference, TAP 2008, ...books.google.com › books
books.google.de
... of Free Data Types Andriy Dunets, Gerhard Schellhorn, and Wolfgang Reif Lehrstuhl f ̈ur Softwaretechnik und Programmiersprachen, Institut f ̈ur Informatik, ...
13. SPIN 2006: Vienna, Austria - dblpdblp1.uni-trier.de › ... › SPIN
dblp1.uni-trier.de
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt: Verification of Medical Guidelines by Model Checking - A Case Study
OPUS 4 | Combining Theorem Proving and Model Checking for...
opus.bibliothek.uni-augsburg.de
Andriy Dunets, Michael Balser, Wolfgang Reif. An integration of deductive verification and model checking have been investigated in numerous works over the last decade. We refer to the approaches, where theorem proving was used to reduce verification problems to a form which allows to apply model checking directly. We present a translation ...
dblp: Automated Technology for Verification and Analysis 2008www.informatik.uni-trier.de › ... › ATVA
dblp.uni-trier.de
persistent URL: https://dblp.org/rec/conf/atva/DunetsSR08. Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automating Algebraic Specifications of Non-freely ...
Model Checking Software | SpringerLinklink.springer.com › book
link.springer.com
PDF · Verification of Medical Guidelines by Model Checking – A Case Study. Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt.
Automating Algebraic Specifications of Non-freely Generated ...www.springerprofessional.de › automating-algeb...
www.springerprofessional.de
Authors: Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif. Publisher: Springer Berlin Heidelberg. Published in: Automated Technology for Verification and ...
Bounded Relational Analysis of Free Data Types ...www.springerprofessional.de › bounded-relational-anal...
www.springerprofessional.de
Autoren: Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif. Verlag: Springer Berlin Heidelberg. Erschienen in: Tests and Proofs. » Jetzt Zugang zum Volltext ...
Bounded Relational Analysis of Free Data Types ...
www.springerprofessional.de
Authors: Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif. Publisher: Springer Berlin Heidelberg. Published in: Tests and Proofs. » Get access to the full-text.
CiteSeerX — A verification of medical guidelines by model checking -a...
citeseerx.ist.psu.edu
author = {Simon Bäumler and Michael Balser and Andriy Dunets and Wolfgang Reif and Jonathan Schmitt}, title = {A verification of medical guidelines by model ...
DBLP: Wolfgang Reifwww.vldbarc.org › indices › a-tree
www.vldbarc.org
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA 2008:
Tests and Proofs: Second International Conference, TAP epdf.pub › ...
epdf.tips
Andriy Dunets, Gerhard Schellhorn, and Wolfgang Reif 99. Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model .
Journal of Automated Reasoning
ftp.math.utah.edu
Andriy Dunets and Gerhard Schellhorn and Wolfgang Reif Automated Flaw Detection in Algebraic Specifications .
[Humanist] miscellany
lists.digitalhumanities.org
... of Non-freely Generated Data Types Author(s) Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif DOI _12 Page ...
CiteSeerX — Model Checking of Asbru
citeseer.uark.edu
BibTeX. @MISC{Augsburg09modelchecking, author = {Universität Augsburg and Andriy Dunets and Simon Bäumler and Arjen Hommersom and Wolfgang Reif ...
CiteSeerX — Model Checking of Asbru
citeseerx.ist.psu.edu
by Universität Augsburg , Andriy Dunets , Simon Bäumler , Arjen Hommersom , Wolfgang Reif , Andriy Dunets , Simon Bäumler , Arjen Hommersom , Wolfgang ...
Search Sciweavers | Sciweavers
www.sciweavers.org
... out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an... Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif.
Alle Infos zum Namen "Andriy Dunets"
sortiert nach Relevanz / Datum