Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer International Publishing

9783319415390, 9783319415406
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Practical Verification Framework for Preemptive OS Kernels

2016 ◽  
pp. 59-79 ◽  
Author(s):  
Fengwei Xu ◽  
Ming Fu ◽  
Xinyu Feng ◽  
Xiaoran Zhang ◽  
Hui Zhang ◽  
...  

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers

2016 ◽  
pp. 23-41 ◽  
Author(s):  
Stuart Pernsteiner ◽  
Calvin Loncaric ◽  
Emina Torlak ◽  
Zachary Tatlock ◽  
Xi Wang ◽  
...  
Keyword(s):  
System Models

A Simple Algorithm for Solving Qualitative Probabilistic Parity Games

2016 ◽  
pp. 291-311 ◽  
Author(s):  
Ernst Moritz Hahn ◽  
Sven Schewe ◽  
Andrea Turrini ◽  
Lijun Zhang
Keyword(s):  
Simple Algorithm ◽  
Parity Games

The Kind 2 Model Checker

2016 ◽  
pp. 510-517 ◽  
Author(s):  
Adrien Champion ◽  
Alain Mebsout ◽  
Christoph Sticksel ◽  
Cesare Tinelli
Keyword(s):  
Model Checker

Qlose: Program Repair with Quantitative Objectives

2016 ◽  
pp. 383-401 ◽  
Author(s):  
Loris D’Antoni ◽  
Roopsha Samanta ◽  
Rishabh Singh
Keyword(s):  
Program Repair

Array Folds Logic

2016 ◽  
pp. 230-248 ◽  
Author(s):  
Przemysław Daca ◽  
Thomas A. Henzinger ◽  
Andrey Kupriyanov
Load More ...
Sign in / Sign up

Export Citation Format

Share Document