Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319941103, 9783319941110
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking

2018 ◽  
pp. 275-291 ◽  
Author(s):  
Lei Bu ◽  
Doron Peled ◽  
Dachuan Shen ◽  
Yuan Zhuang
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Lazy Reachability Checking for Timed Automata with Discrete Variables

2018 ◽  
pp. 235-254 ◽  
Author(s):  
Tamás Tóth ◽  
István Majzik
Keyword(s):  
Timed Automata ◽  
Discrete Variables

scholarly journals Modelling Without a Modelling Language

2018 ◽  
pp. 308-327
Author(s):  
Antti Valmari ◽  
Vesa Lappalainen
Keyword(s):  
Modelling Language

scholarly journals Context-Updates Analysis and Refinement in Chisel

2018 ◽  
pp. 328-346 ◽  
Author(s):  
Irina Măriuca Asăvoae ◽  
Mihail Asăvoae ◽  
Adrián Riesco

scholarly journals A Comparative Study of Decision Diagrams for Real-Time Model Checking

2018 ◽  
pp. 216-234
Author(s):  
Omar Al-Bataineh ◽  
Mark Reynolds ◽  
David Rosenblum
Keyword(s):  
Model Checking ◽  
Comparative Study ◽  
Real Time ◽  
Decision Diagrams ◽  
Time Model

Improving Generalization in Software IC3

2018 ◽  
pp. 85-102 ◽  
Author(s):  
Tim Lange ◽  
Frederick Prinz ◽  
Martin R. Neuhäußer ◽  
Thomas Noll ◽  
Joost-Pieter Katoen

An Extension of TRIANGLE Testbed with Model-Based Testing

2018 ◽  
pp. 190-195 ◽  
Author(s):  
Laura Panizo ◽  
Almudena Díaz ◽  
Bruno García
Keyword(s):  
Model Based ◽  
Model Based Testing

scholarly journals Petri Net Reductions for Counting Markings

2018 ◽  
pp. 65-84 ◽  
Author(s):  
Bernard Berthomieu ◽  
Didier Le Botlan ◽  
Silvano Dal Zilio
Keyword(s):  
Petri Net

Local Data Race Freedom with Non-multi-copy Atomicity

2018 ◽  
pp. 196-215
Author(s):  
Tatsuya Abe
Keyword(s):  
Data Race ◽  
Local Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document