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

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

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

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions

2015 ◽  
pp. 153-159 ◽  
Author(s):  
Ahmad Siyar Andisha ◽  
Martin Wehrle ◽  
Bernd Westphal
Keyword(s):  
Model Checking ◽  
Distance Functions ◽  
Directed Model Checking

Practical Stutter-Invariance Checks for $$\omega $$ -Regular Languages

2015 ◽  
pp. 84-101 ◽  
Author(s):  
Thibaud Michaud ◽  
Alexandre Duret-Lutz
Keyword(s):  
Regular Languages

Parallel SAT-Based Parameterised Three-Valued Model Checking

2015 ◽  
pp. 242-259 ◽  
Author(s):  
Nils Timm ◽  
Stefan Gruner ◽  
Prince Sibanda
Keyword(s):  
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

Refinement Selection

2015 ◽  
pp. 20-38 ◽  
Author(s):  
Dirk Beyer ◽  
Stefan Löwe ◽  
Philipp Wendler
Load More ...
Sign in / Sign up

Export Citation Format

Share Document