Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319234038, 9783319234045
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Family-Based Model Checking Without a Family-Based Model Checker

2015 ◽  
pp. 282-299 ◽  
Author(s):  
Aleksandar S. Dimovski ◽  
Ahmad Salim Al-Sibahi ◽  
Claus Brabrand ◽  
Andrzej Wąsowski
Keyword(s):  
Model Checking ◽  
Model Checker ◽  
Family Based

scholarly journals Symbolic Causality Checking Using Bounded Model Checking

2015 ◽  
pp. 203-221 ◽  
Author(s):  
Adrian Beer ◽  
Stephan Heidinger ◽  
Uwe Kühne ◽  
Florian Leitner-Fischer ◽  
Stefan Leue
Keyword(s):  
Model Checking ◽  
Bounded Model Checking

Runtime Verification of Expected Energy Consumption in Smartphones

2015 ◽  
pp. 132-149 ◽  
Author(s):  
Ana Rosario Espada ◽  
María del Mar Gallardo ◽  
Alberto Salmerón ◽  
Pedro Merino
Keyword(s):  
Energy Consumption ◽  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document