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

SVA and PSL Local Variables - A Practical Approach

2013 ◽  
pp. 197-212 ◽  
Author(s):  
Roy Armoni ◽  
Dana Fisman ◽  
Naiyong Jin
Keyword(s):  
Practical Approach

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 The TAMARIN Prover for the Symbolic Analysis of Security Protocols

2013 ◽  
pp. 696-701 ◽  
Author(s):  
Simon Meier ◽  
Benedikt Schmidt ◽  
Cas Cremers ◽  
David Basin
Keyword(s):  
Security Protocols ◽  
Symbolic Analysis

scholarly journals Distributed Explicit State Model Checking of Deadlock Freedom

2013 ◽  
pp. 235-241 ◽  
Author(s):  
Brad Bingham ◽  
Jesse Bingham ◽  
John Erickson ◽  
Mark Greenstreet
Keyword(s):  
Model Checking ◽  
State Model ◽  
Deadlock Freedom

scholarly journals Automating Separation Logic Using SMT

2013 ◽  
pp. 773-789 ◽  
Author(s):  
Ruzica Piskac ◽  
Thomas Wies ◽  
Damien Zufferey
Keyword(s):  
Separation Logic

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