Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 10)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030846282, 9783030846299
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Marriage Between Safety and Cybersecurity: Still Practicing

2021 ◽  
pp. 3-21
Author(s):  
Marielle Stoelinga ◽  
Christina Kolb ◽  
Stefano M. Nicoletti ◽  
Carlos E. Budde ◽  
Ernst Moritz Hahn

scholarly journals Probabilistic Model Checking of Randomized Java Code

2021 ◽  
pp. 157-174
Author(s):  
Syyeda Zainab Fatmi ◽  
Xiang Chen ◽  
Yash Dhamija ◽  
Maeve Wildes ◽  
Qiyi Tang ◽  
...  
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking ◽  
Java Code

A Model-Checked I2C Specification

2021 ◽  
pp. 177-193
Author(s):  
Lukas Humbel ◽  
Daniel Schwyn ◽  
Nora Hossle ◽  
Roni Haecki ◽  
Melissa Licciardello ◽  
...  

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA

2021 ◽  
pp. 22-41
Author(s):  
Vincenzo Ciancia ◽  
Gina Belmonte ◽  
Diego Latella ◽  
Mieke Massink
Keyword(s):  
Model Checking ◽  
Spatial Model ◽  
Hands On

Go2Pins: A Framework for the LTL Verification of Go Programs

2021 ◽  
pp. 140-156
Author(s):  
Alexandre Kirszenberg ◽  
Antoine Martin ◽  
Hugo Moreau ◽  
Etienne Renault
Load More ...
Sign in / Sign up

Export Citation Format

Share Document