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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319249520, 9783319249537

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

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

10.1007/978-3-319-24953-7_15 ◽

2015 ◽

pp. 207-213 ◽

Cited By ~ 1

Author(s):

Yongjian Li ◽

Jun Pang ◽

Yi Lv ◽

Dongrui Fan ◽

Shen Cao ◽

...

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)

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

10.1007/978-3-319-24953-7_23 ◽

2015 ◽

pp. 293-308

Author(s):

Madhavan Mukund ◽

Gautham Shenoy R. ◽

S. P. Suresh

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Formal Verification of Infinite-State BIP Models

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

10.1007/978-3-319-24953-7_25 ◽

2015 ◽

pp. 326-343 ◽

Cited By ~ 14

Author(s):

Simon Bliudze ◽

Alessandro Cimatti ◽

Mohamad Jaber ◽

Sergio Mover ◽

Marco Roveri ◽

...

Keyword(s):

Formal Verification ◽

Infinite State

Download Full-text

A Contextual Equivalence Checker for IMJ*

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

10.1007/978-3-319-24953-7_19 ◽

2015 ◽

pp. 234-240 ◽

Cited By ~ 3

Author(s):

Andrzej S. Murawski ◽

Steven J. Ramsay ◽

Nikos Tzevelekos

Keyword(s):

Contextual Equivalence

Download Full-text

Marimba: A Tool for Verifying Properties of Hidden Markov Models

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

10.1007/978-3-319-24953-7_14 ◽

2015 ◽

pp. 201-206

Author(s):

Noé Hernández ◽

Kerstin Eder ◽

Evgeni Magid ◽

Jesús Savage ◽

David A. Rosenblueth

Keyword(s):

Hidden Markov Models ◽

Markov Models ◽

Hidden Markov

Download Full-text

Decidability of the Reachability for a Family of Linear Vector Fields

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

10.1007/978-3-319-24953-7_34 ◽

2015 ◽

pp. 482-499 ◽

Cited By ~ 5

Author(s):

Ting Gan ◽

Mingshuai Chen ◽

Liyun Dai ◽

Bican Xia ◽

Naijun Zhan

Keyword(s):

Vector Fields ◽

Linear Vector

Download Full-text

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage

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

10.1007/978-3-319-24953-7_10 ◽

2015 ◽

pp. 131-147 ◽

Cited By ~ 6

Author(s):

Arnd Hartmanns ◽

Holger Hermanns

Keyword(s):

Model Checking ◽

Explicit Model ◽

Secondary Storage

Download Full-text

Formal Verification of Simulink/Stateflow Diagrams

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

10.1007/978-3-319-24953-7_33 ◽

2015 ◽

pp. 464-481 ◽

Cited By ~ 17

Author(s):

Liang Zou ◽

Naijun Zhan ◽

Shuling Wang ◽

Martin Fränzle

Keyword(s):

Formal Verification

Download Full-text

Lattice-Based Semantics for Combinatorial Model Evolution

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

10.1007/978-3-319-24953-7_22 ◽

2015 ◽

pp. 276-292 ◽

Cited By ~ 5

Author(s):

Rachel Tzoref-Brill ◽

Shahar Maoz

Keyword(s):

Model Evolution ◽

Combinatorial Model

Download Full-text

Trace Diagnostics Using Temporal Implicants

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

10.1007/978-3-319-24953-7_20 ◽

2015 ◽

pp. 241-258 ◽

Cited By ~ 10

Author(s):

Thomas Ferrère ◽

Oded Maler ◽

Dejan Ničković

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)

Formal Verification of Infinite-State BIP Models

A Contextual Equivalence Checker for IMJ*

Marimba: A Tool for Verifying Properties of Hidden Markov Models

Decidability of the Reachability for a Family of Linear Vector Fields

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage

Formal Verification of Simulink/Stateflow Diagrams

Lattice-Based Semantics for Combinatorial Model Evolution

Trace Diagnostics Using Temporal Implicants

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