Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030613617, 9783030613624
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scaling Correctness-by-Construction

2020 ◽  
pp. 187-207
Author(s):  
Alexander Knüppel ◽  
Tobias Runge ◽  
Ina Schaefer

Who Carries the Burden of Modularity?

2020 ◽  
pp. 3-21
Author(s):  
Dilian Gurov ◽  
Reiner Hähnle ◽  
Eduard Kamburjan

scholarly journals Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation

2020 ◽  
pp. 543-557
Author(s):  
Fernando Pastor Ricós ◽  
Pekka Aho ◽  
Tanja Vos ◽  
Ismael Torres Boigues ◽  
Ernesto Calás Blasco ◽  
...  
Keyword(s):  
Remote Testing ◽  
Case Based

Fluid Model-Checking in UPPAAL for Covid-19

2020 ◽  
pp. 385-403 ◽  
Author(s):  
Peter G. Jensen ◽  
Kenneth Y. Jørgensen ◽  
Kim G. Larsen ◽  
Marius Mikučionis ◽  
Marco Muñiz ◽  
...  
Keyword(s):  
Model Checking ◽  
Fluid Model

Statistical Model Checking: Black or White?

2020 ◽  
pp. 331-349 ◽  
Author(s):  
Pranav Ashok ◽  
Przemysław Daca ◽  
Jan Křetínský ◽  
Maximilian Weininger
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document