Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

72
(FIVE YEARS 0)

H-INDEX

24
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642397981, 9783642397998
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Validating Library Usage Interactively

2013 ◽  
pp. 796-812 ◽  
Author(s):  
William R. Harris ◽  
Guoliang Jin ◽  
Shan Lu ◽  
Somesh Jha

scholarly journals System Level Formal Verification via Model Checking Driven Simulation

2013 ◽  
pp. 296-312 ◽  
Author(s):  
Toni Mancini ◽  
Federico Mari ◽  
Annalisa Massini ◽  
Igor Melatti ◽  
Fabio Merli ◽  
...  
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
System Level

scholarly journals GOAL for Games, Omega-Automata, and Logics

2013 ◽  
pp. 883-889 ◽  
Author(s):  
Ming-Hsien Tsai ◽  
Yih-Kuen Tsay ◽  
Yu-Shiang Hwang

scholarly journals Program Repair without Regret

2013 ◽  
pp. 896-911 ◽  
Author(s):  
Christian von Essen ◽  
Barbara Jobstmann
Keyword(s):  
Program Repair
Load More ...
Sign in / Sign up

Export Citation Format

Share Document