Lecture Notes in Computer Science - Formal Methods for Executable Software Models
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319073163, 9783319073170
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Testing

2014 ◽  
pp. 310-342 ◽  
Author(s):  
Malte Lochau ◽  
Sven Peldszus ◽  
Matthias Kowal ◽  
Ina Schaefer
Keyword(s):  
Model Based ◽  
Model Based Testing

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

2014 ◽  
pp. 65-121 ◽  
Author(s):  
Erika Ábrahám ◽  
Bernd Becker ◽  
Christian Dehnert ◽  
Nils Jansen ◽  
Joost-Pieter Katoen ◽  
...  
Keyword(s):  
Discrete Time ◽  
Markov Models

Verification of Concurrent Systems with VerCors

2014 ◽  
pp. 172-216 ◽  
Author(s):  
Afshin Amighi ◽  
Stefan Blom ◽  
Saeed Darabi ◽  
Marieke Huisman ◽  
Wojciech Mostowski ◽  
...  
Keyword(s):  
Concurrent Systems

Analysis of Executable Software Models

2014 ◽  
pp. 1-25 ◽  
Author(s):  
Richard Bubel ◽  
Antonio Flores Montoya ◽  
Reiner Hähnle
Keyword(s):  
Software Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document