Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

21
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540705437, 9783540705451
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Faster Than Uppaal?

2008 ◽  
pp. 552-555 ◽  
Author(s):  
Sebastian Kupferschmid ◽  
Martin Wehrle ◽  
Bernhard Nebel ◽  
Andreas Podelski

scholarly journals The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis

2008 ◽  
pp. 419-422 ◽  
Author(s):  
Michael Backes ◽  
Stefan Lorenz ◽  
Matteo Maffei ◽  
Kim Pecina
Keyword(s):  
Protocol Analysis ◽  
Security Protocol

scholarly journals FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement

2008 ◽  
pp. 209-213 ◽  
Author(s):  
Andreas Holzer ◽  
Christian Schallhart ◽  
Michael Tautschnig ◽  
Helmut Veith
Keyword(s):  
Dynamic Analysis ◽  
Test Case Generation ◽  
Test Case

scholarly journals Ranking Automata and Games for Prioritized Requirements

2008 ◽  
pp. 240-253 ◽  
Author(s):  
Rajeev Alur ◽  
Aditya Kanade ◽  
Gera Weiss

scholarly journals QMC: A Model Checker for Quantum Systems

2008 ◽  
pp. 543-547 ◽  
Author(s):  
Simon J. Gay ◽  
Rajagopal Nagarajan ◽  
Nikolaos Papanikolaou
Keyword(s):  
Quantum Systems ◽  
Model Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document