Zum Inhalt springen

Paskevich, Andrei [Herausgeber:in]; Wies, Thomas [Herausgeber:in]

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, 2017

Erschienen in: Lecture notes in computer science ; 10712
Garchery, Quentin [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Marché, Claude [Mitwirkende:r]; Paskevich, Andrei [Mitwirkende:r]; Keller, Chantal [Mitwirkende:r]

Certification de la transformation de tâches de preuve ; Certification of the transformation of proof tasks

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2022-01-25
Paskevich, Andrei

Connection Tableaux with Lazy Paramodulation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2008

Erschienen in: Journal of Automated Reasoning, 40 (2008) 2-3, Seite 179-194
Paskevich, Andrei

Lecture Notes in Computer Science: Connection Tableaux with Lazy Paramodulation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Lecture Notes in Computer Science (2006), Seite 112-124
Proença, José; Paskevich, Andrei

Proceedings of the 6th Workshop on Formal Integrated Development Environment : Preface

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2021

Erschienen in: Electronic Proceedings in Theoretical Computer Science, 338 (2021)
Kaliszyk, Cezary; Paskevich, Andrei

Proceedings Fourth Workshop on Proof eXchange for Theorem Proving : Preface

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2015

Erschienen in: Electronic Proceedings in Theoretical Computer Science, 186 (2015)
Bobot, François; Paskevich, Andrei

Lecture Notes in Computer Science: Expressing Polymorphic Types in a Many-Sorted Language

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 87-102
Filliâtre, Jean-Christophe; Paskevich, Andrei

Lecture Notes in Computer Science: Abstraction and Genericity in Why3

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Lecture Notes in Computer Science (2020), Seite 122-142
Blanchette, Jasmin Christian; Paskevich, Andrei

Lecture Notes in Computer Science: TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 414-420
Filliâtre, Jean-Christophe; Paskevich, Andrei

Lecture Notes in Computer Science: Why3 — Where Programs Meet Provers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 125-128
Clochard, Martin; Marché, Claude; Paskevich, Andrei

Deductive verification with ghost monitors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2020

Erschienen in: Proceedings of the ACM on Programming Languages, 4 (2020) POPL, Seite 1-26
Lyaletski, Alexander; Lyaletsky, Alexandre; Paskevich, Andrei

Evidential Paradigm and SAD Systems: Features and Peculiarities

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

MECS Publisher, 2018

Erschienen in: International Journal of Mathematical Sciences and Computing, 4 (2018) 2, Seite 1-11
Clochard, Martin; Filliâtre, Jean-Christophe; Paskevich, Andrei

Lecture Notes in Computer Science: How to Avoid Proving the Absence of Integer Overflows

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2016

Erschienen in: Lecture Notes in Computer Science (2016), Seite 94-109
Filliâtre, Jean-Christophe; Gondelman, Léon; Paskevich, Andrei

The spirit of ghost code

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2016

Erschienen in: Formal Methods in System Design, 48 (2016) 3, Seite 152-174
Filliâtre, Jean-Christophe; Gondelman, Léon; Paskevich, Andrei

Lecture Notes in Computer Science: The Spirit of Ghost Code

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Lecture Notes in Computer Science (2014), Seite 1-16
Verchinine, Konstantin; Lyaletski, Alexander; Paskevich, Andrei

Lecture Notes in Computer Science: System for Automated Deduction (SAD): A Tool for Proof Verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen in: Lecture Notes in Computer Science (2007), Seite 398-403
Dross, Claire; Conchon, Sylvain; Kanig, Johannes; Paskevich, Andrei

Adding Decision Procedures to SMT Solvers Using Axioms with Triggers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2016

Erschienen in: Journal of Automated Reasoning, 56 (2016) 4, Seite 387-457
Bobot, François; Filliâtre, Jean-Christophe; Marché, Claude; Paskevich, Andrei

Let’s verify this with Why3

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2015

Erschienen in: International Journal on Software Tools for Technology Transfer, 17 (2015) 6, Seite 709-727
Clochard, Martin; Filliâtre, Jean-Christophe; Marché, Claude; Paskevich, Andrei

Lecture Notes in Computer Science: Formalizing Semantics with an Automatic Program Verifier

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Lecture Notes in Computer Science (2014), Seite 37-51
Jaloyan, Georges-Axel; Dross, Claire; Maalej, Maroua; Moy, Yannick; Paskevich, Andrei

Lecture Notes in Computer Science: Verification of Programs with Pointers in SPARK

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Lecture Notes in Computer Science (2020), Seite 55-72

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr