Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319325811, 9783319325828

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fair Testing and Stubborn Sets

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_16 ◽

2016 ◽

pp. 225-243 ◽

Cited By ~ 10

Author(s):

Antti Valmari ◽

Walter Vogler

Download Full-text

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_11 ◽

2016 ◽

pp. 165-181 ◽

Cited By ~ 6

Author(s):

Ehsan Khamespanah ◽

Kirill Mechitov ◽

Marjan Sirjani ◽

Gul Agha

Keyword(s):

Model Checking ◽

Real Time ◽

Sensor Network ◽

Schedulability Analysis ◽

Network Applications

Download Full-text

smid: A Black-Box Program Driver

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_12 ◽

2016 ◽

pp. 182-188

Author(s):

Kareem Khazem ◽

Michael Tautschnig

Keyword(s):

Black Box

Download Full-text

Certification for $$\mu $$ μ -Calculus with Winning Strategies

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_8 ◽

2016 ◽

pp. 111-128 ◽

Cited By ~ 1

Author(s):

Martin Hofmann ◽

Christian Neukirchen ◽

Harald Rueß

Keyword(s):

Winning Strategies

Download Full-text

ESBMC $$^{QtOM}$$ Q t O M : A Bounded Model Checking Tool to Verify Qt Applications

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_6 ◽

2016 ◽

pp. 97-103 ◽

Cited By ~ 3

Author(s):

Mário Garcia ◽

Felipe Monteiro ◽

Lucas Cordeiro ◽

Eddie de Lima Filho

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Automated Analysis of Asynchronously Communicating Systems

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_1 ◽

2016 ◽

pp. 1-18 ◽

Cited By ~ 3

Author(s):

Lakhdar Akroun ◽

Gwen Salaün ◽

Lina Ye

Keyword(s):

Automated Analysis

Download Full-text

Autonomous Agent Behaviour Modelled in PRISM – A Case Study

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_7 ◽

2016 ◽

pp. 104-110 ◽

Cited By ~ 6

Author(s):

Ruth Hoffmann ◽

Murray Ireland ◽

Alice Miller ◽

Gethin Norman ◽

Sandor Veres

Keyword(s):

Autonomous Agent

Download Full-text

Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_4 ◽

2016 ◽

pp. 57-77 ◽

Cited By ~ 2

Author(s):

Stefan Edelkamp ◽

Christoph Greulich

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Symbolic Game Semantics for Model Checking Program Families

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_2 ◽

2016 ◽

pp. 19-37 ◽

Cited By ~ 9

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Model Checking ◽

Game Semantics

Download Full-text

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-32582-8_14 ◽

2016 ◽

pp. 208-213 ◽

Cited By ~ 5

Author(s):

Jan Mrázek ◽

Petr Bauch ◽

Henrich Lauko ◽

Jiří Barnat

Keyword(s):

State Space ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Model Checking Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Fair Testing and Stubborn Sets

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

smid: A Black-Box Program Driver

Certification for $$\mu $$ μ -Calculus with Winning Strategies

ESBMC $$^{QtOM}$$ Q t O M : A Bounded Model Checking Tool to Verify Qt Applications

Automated Analysis of Asynchronously Communicating Systems

Autonomous Agent Behaviour Modelled in PRISM – A Case Study

Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing

Symbolic Game Semantics for Model Checking Program Families

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration

Model Checking Software - Lecture Notes in Computer Science
Latest Publications