Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319961415, 9783319961422
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Let this Graph Be Your Witness!

2018 ◽  
pp. 3-11 ◽  
Author(s):  
Hannah Arndt ◽  
Christina Jansen ◽  
Joost-Pieter Katoen ◽  
Christoph Matheja ◽  
Thomas Noll

scholarly journals Understanding and Extending Incremental Determinization for 2QBF

2018 ◽  
pp. 256-274 ◽  
Author(s):  
Markus N. Rabe ◽  
Leander Tentrup ◽  
Cameron Rasmussen ◽  
Sanjit A. Seshia

scholarly journals The JKind Model Checker

2018 ◽  
pp. 20-27 ◽  
Author(s):  
Andrew Gacek ◽  
John Backes ◽  
Mike Whalen ◽  
Lucas Wagner ◽  
Elaheh Ghassabani
Keyword(s):  
Model Checker

scholarly journals Android Stack Machine

2018 ◽  
pp. 487-504 ◽  
Author(s):  
Taolue Chen ◽  
Jinlong He ◽  
Fu Song ◽  
Guozhen Wang ◽  
Zhilin Wu ◽  
...  

scholarly journals Model Checking Indistinguishability of Randomized Security Protocols

2018 ◽  
pp. 117-135
Author(s):  
Matthew S. Bauer ◽  
Rohit Chadha ◽  
A. Prasad Sistla ◽  
Mahesh Viswanathan
Keyword(s):  
Model Checking ◽  
Security Protocols

scholarly journals Lazy Self-composition for Security Verification

2018 ◽  
pp. 136-156 ◽  
Author(s):  
Weikun Yang ◽  
Yakir Vizel ◽  
Pramod Subramanyan ◽  
Aarti Gupta ◽  
Sharad Malik
Keyword(s):  
Security Verification

scholarly journals Model Checking Boot Code from AWS Data Centers

2018 ◽  
pp. 467-486 ◽  
Author(s):  
Byron Cook ◽  
Kareem Khazem ◽  
Daniel Kroening ◽  
Serdar Tasiran ◽  
Michael Tautschnig ◽  
...  
Keyword(s):  
Model Checking ◽  
Data Centers

The DEEPSEC Prover

2018 ◽  
pp. 28-36 ◽  
Author(s):  
Vincent Cheval ◽  
Steve Kremer ◽  
Itsaka Rakotonirina
Load More ...
Sign in / Sign up

Export Citation Format

Share Document