Verification, Induction, Termination Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642171710, 9783642171727

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination Graphs for Java Bytecode

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_2 ◽

2010 ◽

pp. 17-37 ◽

Cited By ~ 16

Author(s):

Marc Brockschmidt ◽

Carsten Otto ◽

Christian von Essen ◽

Jürgen Giesl

Keyword(s):

Java Bytecode

Download Full-text

Change Management for Heterogeneous Development Graphs

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_4 ◽

2010 ◽

pp. 54-80 ◽

Cited By ~ 3

Author(s):

Serge Autexier ◽

Dieter Hutter ◽

Till Mossakowski

Keyword(s):

Change Management

Download Full-text

The VATES-Diamond as a Verifier’s Best Friend

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_5 ◽

2010 ◽

pp. 81-101 ◽

Cited By ~ 1

Author(s):

Sabine Glesner ◽

Björn Bartels ◽

Thomas Göthel ◽

Moritz Kleine

Keyword(s):

Best Friend

Download Full-text

Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_7 ◽

2010 ◽

pp. 117-128 ◽

Cited By ~ 4

Author(s):

Christoph Benzmüller

Keyword(s):

Modal Logic ◽

Higher Order ◽

Easy Task

Download Full-text

Specifying and Verifying Organizational Security Properties in First-Order Logic

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_3 ◽

2010 ◽

pp. 38-53 ◽

Cited By ~ 2

Author(s):

Christoph Brandt ◽

Jens Otten ◽

Christoph Kreitz ◽

Wolfgang Bibel

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Security Properties ◽

Organizational Security

Download Full-text

Second-Order Programs with Preconditions

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_8 ◽

2010 ◽

pp. 129-143

Author(s):

Markus Aderhold

Keyword(s):

Second Order

Download Full-text

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_6 ◽

2010 ◽

pp. 102-116 ◽

Cited By ~ 3

Author(s):

Moa Johansson ◽

Lucas Dixon ◽

Alan Bundy

Download Full-text

Programming Inductive Proofs

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17172-7_1 ◽

2010 ◽

pp. 1-16 ◽

Cited By ~ 1

Author(s):

Brigitte Pientka

Download Full-text

Verification, Induction, Termination Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Termination Graphs for Java Bytecode

Change Management for Heterogeneous Development Graphs

The VATES-Diamond as a Verifier’s Best Friend

Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)

Specifying and Verifying Organizational Security Properties in First-Order Logic

Second-Order Programs with Preconditions

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

Programming Inductive Proofs

Verification, Induction, Termination Analysis - Lecture Notes in Computer Science
Latest Publications