Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer International Publishing

9783319961446, 9783319961453

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Propositional Dynamic Logic for Higher-Order Functional Programs

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_6 ◽

2018 ◽

pp. 105-123 ◽

Author(s):

Yuki Satake ◽

Hiroshi Unno

Keyword(s):

Dynamic Logic ◽

Higher Order ◽

Propositional Dynamic Logic

Download Full-text

Formal Reasoning About the Security of Amazon Web Services

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_3 ◽

2018 ◽

pp. 38-47 ◽

Author(s):

Byron Cook

Keyword(s):

Web Services ◽

Formal Reasoning ◽

Amazon Web Services

Download Full-text

Synthesis of Asynchronous Reactive Programs from Temporal Specifications

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_20 ◽

2018 ◽

pp. 367-385 ◽

Author(s):

Suguman Bansal ◽

Kedar S. Namjoshi ◽

Yaniv Sa’ar

Keyword(s):

Temporal Specifications ◽

Reactive Programs

Download Full-text

Learning Abstractions for Program Synthesis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_22 ◽

2018 ◽

pp. 407-426 ◽

Author(s):

Xinyu Wang ◽

Greg Anderson ◽

Isil Dillig ◽

K. L. McMillan

Keyword(s):

Program Synthesis

Download Full-text

Space-Time Interpolants

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_25 ◽

2018 ◽

pp. 468-486

Author(s):

Goran Frehse ◽

Mirco Giacobbe ◽

Thomas A. Henzinger

Keyword(s):

Download Full-text

Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_39 ◽

2018 ◽

pp. 681-699 ◽

Author(s):

Qiyi Tang ◽

Franck van Breugel

Keyword(s):

Download Full-text

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_10 ◽

2018 ◽

pp. 183-190 ◽

Author(s):

Lucas Cordeiro ◽

Pascal Kesseli ◽

Daniel Kroening ◽

Peter Schrammel ◽

Marek Trtik

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Download Full-text

Exploiting Synchrony and Symmetry in Relational Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_9 ◽

2018 ◽

pp. 164-182 ◽

Author(s):

Lauren Pick ◽

Grigory Fedyukovich ◽

Aarti Gupta

Download Full-text

Safety-Aware Apprenticeship Learning

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_38 ◽

2018 ◽

pp. 662-680 ◽

Author(s):

Weichao Zhou ◽

Wenchao Li

Keyword(s):

Apprenticeship Learning

Download Full-text

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_24 ◽

2018 ◽

pp. 449-467 ◽

Author(s):

Hui Kong ◽

Ezio Bartocci ◽

Thomas A. Henzinger

Keyword(s):

Nonlinear Systems ◽

Download Full-text