Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030309220, 9783030309237
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Verification Through Dependency Graphs

2019 ◽  
pp. 1-19 ◽  
Author(s):  
Søren Enevoldsen ◽  
Kim Guldstrand Larsen ◽  
Jiří Srba
Keyword(s):  
Model Verification ◽  
Dependency Graphs

From Dynamic State Machines to Promela

2019 ◽  
pp. 56-73
Author(s):  
Massimo Benerecetti ◽  
Ugo Gentile ◽  
Stefano Marrone ◽  
Roberto Nardone ◽  
Adriano Peron ◽  
...  
Keyword(s):  
Dynamic State ◽  
State Machines

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

2019 ◽  
pp. 226-243 ◽  
Author(s):  
Muhammad Usman ◽  
Wenxi Wang ◽  
Kaiyuan Wang ◽  
Cagdas Yelen ◽  
Nima Dini ◽  
...  
Keyword(s):  
Data Structure ◽  
Learning Data

scholarly journals Extracting Safe Thread Schedules from Incomplete Model Checking Results

2019 ◽  
pp. 153-171
Author(s):  
Patrick Metzler ◽  
Neeraj Suri ◽  
Georg Weissenbacher
Keyword(s):  
Model Checking ◽  
Incomplete Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document