Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540705437, 9783540705451

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Practical Approach to Word Level Model Checking of Industrial Netlists

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_43 ◽

2008 ◽

pp. 446-458 ◽

Cited By ~ 6

Author(s):

Per Bjesse

Keyword(s):

Model Checking ◽

Practical Approach ◽

Word Level ◽

Level Model

Download Full-text

Ranking Automata and Games for Prioritized Requirements

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_23 ◽

2008 ◽

pp. 240-253 ◽

Cited By ~ 16

Author(s):

Rajeev Alur ◽

Aditya Kanade ◽

Gera Weiss

Download Full-text

QMC: A Model Checker for Quantum Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_51 ◽

2008 ◽

pp. 543-547 ◽

Cited By ~ 28

Author(s):

Simon J. Gay ◽

Rajagopal Nagarajan ◽

Nikolaos Papanikolaou

Keyword(s):

Quantum Systems ◽

Model Checker

Download Full-text

Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_21 ◽

2008 ◽

pp. 214-226 ◽

Cited By ~ 17

Author(s):

Salil Joshi ◽

Barbara König

Keyword(s):

Graph Transformation ◽

Graph Minor ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_13 ◽

2008 ◽

pp. 121-134 ◽

Cited By ~ 15

Author(s):

Ariel Cohen ◽

Amir Pnueli ◽

Lenore D. Zuck

Keyword(s):

Transactional Memory ◽

Mechanical Verification ◽

Memory Accesses ◽

Transactional Memories

Download Full-text

A Hybrid Type System for Lock-Freedom of Mobile Processes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_10 ◽

2008 ◽

pp. 80-93 ◽

Cited By ~ 5

Author(s):

Naoki Kobayashi ◽

Davide Sangiorgi

Keyword(s):

Type System ◽

Hybrid Type ◽

Mobile Processes

Download Full-text

Functional Verification of Power Gated Designs by Compositional Reasoning

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_42 ◽

2008 ◽

pp. 433-445 ◽

Cited By ~ 2

Author(s):

Cindy Eisner ◽

Amir Nahir ◽

Karen Yorav

Keyword(s):

Functional Verification ◽

Compositional Reasoning

Download Full-text

Local Proofs for Linear-Time Properties of Concurrent Programs

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_15 ◽

2008 ◽

pp. 149-161 ◽

Cited By ~ 14

Author(s):

Ariel Cohen ◽

Kedar S. Namjoshi

Keyword(s):

Linear Time ◽

Concurrent Programs

Download Full-text

Faster Than Uppaal?

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_53 ◽

2008 ◽

pp. 552-555 ◽

Cited By ~ 12

Author(s):

Sebastian Kupferschmid ◽

Martin Wehrle ◽

Bernhard Nebel ◽

Andreas Podelski

Download Full-text

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

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_39 ◽

2008 ◽

pp. 419-422 ◽

Cited By ~ 2

Author(s):

Michael Backes ◽

Stefan Lorenz ◽

Matteo Maffei ◽

Kim Pecina

Keyword(s):

Protocol Analysis ◽

Security Protocol

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Practical Approach to Word Level Model Checking of Industrial Netlists

Ranking Automata and Games for Prioritized Requirements

QMC: A Model Checker for Quantum Systems

Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses

A Hybrid Type System for Lock-Freedom of Mobile Processes

Functional Verification of Power Gated Designs by Compositional Reasoning

Local Proofs for Linear-Time Properties of Concurrent Programs

Faster Than Uppaal?

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

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications