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 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

scholarly journals BigraphER: Rewriting and Analysis Engine for Bigraphs

2016 ◽  
pp. 494-501 ◽  
Author(s):  
Michele Sevegnani ◽  
Muffy Calder
Keyword(s):  
Analysis Engine

Effectively Propositional Interpolants

2016 ◽  
pp. 210-229 ◽  
Author(s):  
Samuel Drews ◽  
Aws Albarghouthi

A SAT-Based Counterexample Guided Method for Unbounded Synthesis

2016 ◽  
pp. 364-382 ◽  
Author(s):  
Alexander Legg ◽  
Nina Narodytska ◽  
Leonid Ryzhyk

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

scholarly journals Liveness of Randomised Parameterised Systems under Arbitrary Schedulers

2016 ◽  
pp. 112-133 ◽  
Author(s):  
Anthony W. Lin ◽  
Philipp Rümmer

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document