Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 14)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer International Publishing

9783030309220, 9783030309237

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_3 ◽

2019 ◽

pp. 38-55

Author(s):

Omar Bataineh ◽

David S. Rosenblum ◽

Mark Reynolds

Keyword(s):

Monitoring Framework

Download Full-text

Model Verification Through Dependency Graphs

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_1 ◽

2019 ◽

pp. 1-19 ◽

Author(s):

Søren Enevoldsen ◽

Kim Guldstrand Larsen ◽

Jiří Srba

Keyword(s):

Model Verification ◽

Dependency Graphs

Download Full-text

From Dynamic State Machines to Promela

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_4 ◽

2019 ◽

pp. 56-73

Author(s):

Massimo Benerecetti ◽

Ugo Gentile ◽

Stefano Marrone ◽

Roberto Nardone ◽

Adriano Peron ◽

...

Keyword(s):

Dynamic State ◽

Download Full-text

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_11 ◽

2019 ◽

pp. 193-207

Author(s):

Sergey Staroletov ◽

Nikolay Shilov

Keyword(s):

Model Checking ◽

Collision Avoidance ◽

Hybrid Model ◽

Floating Point ◽

Floating Point Arithmetic ◽

Point Arithmetic

Download Full-text

Statistical Model Checking of Complex Robotic Systems

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_7 ◽

2019 ◽

pp. 114-134 ◽

Author(s):

Mohammed Foughali ◽

Félix Ingrand ◽

Cristina Seceleanu

Keyword(s):

Model Checking ◽

Statistical Model ◽

Robotic Systems ◽

Statistical Model Checking

Download Full-text

Model Checking Branching Time Properties for Incomplete Markov Chains

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_2 ◽

2019 ◽

pp. 20-37

Author(s):

Shiraj Arora ◽

M. V. Panduranga Rao

Keyword(s):

Model Checking ◽

Markov Chains ◽

Download Full-text

Conformance Testing of Schedulers for DSL-based Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_12 ◽

2019 ◽

pp. 208-225

Author(s):

Nhat-Hoa Tran ◽

Toshiaki Aoki

Keyword(s):

Model Checking ◽

Conformance Testing

Download Full-text

Extracting Safe Thread Schedules from Incomplete Model Checking Results

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_9 ◽

2019 ◽

pp. 153-171

Author(s):

Patrick Metzler ◽

Neeraj Suri ◽

Georg Weissenbacher

Keyword(s):

Model Checking ◽

Incomplete Model

Download Full-text

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_13 ◽

2019 ◽

pp. 226-243 ◽

Author(s):

Muhammad Usman ◽

Wenxi Wang ◽

Kaiyuan Wang ◽

Cagdas Yelen ◽

Nima Dini ◽

...

Keyword(s):

Data Structure ◽

Download Full-text

String Abstraction for Model Checking of C Programs

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30923-7_5 ◽

2019 ◽

pp. 74-93 ◽

Author(s):

Agostino Cortesi ◽

Henrich Lauko ◽

Martina Olliaro ◽

Petr Ročkai

Keyword(s):

Model Checking ◽

Download Full-text