Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540755951, 9783540755968

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complete SAT-Based Model Checking for Context-Free Processes

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_6 ◽

2007 ◽

pp. 51-65 ◽

Author(s):

Geng-Dian Huang ◽

Bow-Yaw Wang

Keyword(s):

Model Checking ◽

Download Full-text

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_38 ◽

2007 ◽

pp. 533-542 ◽

Author(s):

Salamah Salamah ◽

Ann Q. Gates ◽

Vladik Kreinovich ◽

Steve Roach

Keyword(s):

Composite Propositions

Download Full-text

Toward Property-Driven Abstraction for Heap Manipulating Programs

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_3 ◽

2007 ◽

pp. 17-18

Author(s):

K. L. McMillan

Download Full-text

Efficient Approximate Verification of Promela Models Via Symmetry Markers

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_22 ◽

2007 ◽

pp. 300-315 ◽

Author(s):

Dragan Bošnački ◽

Alastair F. Donaldson ◽

Michael Leuschel ◽

Thierry Massart

Download Full-text

Latticed Simulation Relations and Games

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_23 ◽

2007 ◽

pp. 316-330 ◽

Author(s):

Orna Kupferman ◽

Yoad Lustig

Keyword(s):

Simulation Relations

Download Full-text

Model Checking Bounded Prioritized Time Petri Nets

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_37 ◽

2007 ◽

pp. 523-532 ◽

Author(s):

Bernard Berthomieu ◽

Florent Peres ◽

François Vernadat

Keyword(s):

Model Checking ◽

Time Petri Nets

Download Full-text

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_30 ◽

2007 ◽

pp. 425-440 ◽

Author(s):

Werner Damm ◽

Stefan Disch ◽

Hardi Hungar ◽

Swen Jacobs ◽

Jun Pang ◽

...

Keyword(s):

State Space ◽

Hybrid Systems ◽

Discrete State ◽

Discrete State Space ◽

Set Representations

Download Full-text

Policies and Proofs for Code Auditing

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_1 ◽

2007 ◽

pp. 1-14

Author(s):

Nathan Whitehead ◽

Jordan Johnson ◽

Martín Abadi

Download Full-text

Proving Termination of Tree Manipulating Programs

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_12 ◽

2007 ◽

pp. 145-161 ◽

Author(s):

Peter Habermehl ◽

Radu Iosif ◽

Adam Rogalewicz ◽

Tomáš Vojnar

Download Full-text

On-the-Fly Model Checking of Fair Non-repudiation Protocols

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_36 ◽

2007 ◽

pp. 511-522 ◽

Author(s):

Guoqiang Li ◽

Mizuhito Ogawa

Keyword(s):

Download Full-text