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

scholarly journals Synthesis of Asynchronous Reactive Programs from Temporal Specifications

2018 ◽  
pp. 367-385 ◽  
Author(s):  
Suguman Bansal ◽  
Kedar S. Namjoshi ◽  
Yaniv Sa’ar
Keyword(s):  
Temporal Specifications ◽  
Reactive Programs

scholarly journals Learning Abstractions for Program Synthesis

2018 ◽  
pp. 407-426 ◽  
Author(s):  
Xinyu Wang ◽  
Greg Anderson ◽  
Isil Dillig ◽  
K. L. McMillan
Keyword(s):  
Program Synthesis

scholarly journals Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains

2018 ◽  
pp. 681-699 ◽  
Author(s):  
Qiyi Tang ◽  
Franck van Breugel
Keyword(s):  
Markov Chains

scholarly journals Space-Time Interpolants

2018 ◽  
pp. 468-486
Author(s):  
Goran Frehse ◽  
Mirco Giacobbe ◽  
Thomas A. Henzinger
Keyword(s):  
Space Time

scholarly journals JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

2018 ◽  
pp. 183-190 ◽  
Author(s):  
Lucas Cordeiro ◽  
Pascal Kesseli ◽  
Daniel Kroening ◽  
Peter Schrammel ◽  
Marek Trtik
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Java Bytecode

scholarly journals Sound Value Iteration

2018 ◽  
pp. 643-661 ◽  
Author(s):  
Tim Quatmann ◽  
Joost-Pieter Katoen
Keyword(s):  
Value Iteration

Layered Concurrent Programs

2018 ◽  
pp. 79-102 ◽  
Author(s):  
Bernhard Kragl ◽  
Shaz Qadeer
Keyword(s):  
Concurrent Programs

Strix: Explicit Reactive Synthesis Strikes Back!

2018 ◽  
pp. 578-586 ◽  
Author(s):  
Philipp J. Meyer ◽  
Salomon Sickert ◽  
Michael Luttenberger
Keyword(s):  
Reactive Synthesis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document