Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings > Modelling Without a Modelling Language
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings |
María del Mar Gallardo; Pedro Merino
Springer International Publishing
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Modelling Without a Modelling Language
Authors

Antti Valmari; Vesa Lappalainen

ARI Id

1665125226373_4938733

Access

Not Available Free

Pages

308-327

DOI

10.1007/978-3-319-94111-0_18

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-94111-0_18

Table of Contents of Book
Showing 1 to 20 of 23 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XVI
Front Matter
1-1
Software Model Checking for Mobile Security – Collusion Detection in \(\mathbb {K}\)
Irina Măriuca Asăvoae; Hoang Nga Nguyen; Markus Roggenbach
3-25
Efficient Runtime Verification of First-Order Temporal Properties
Klaus Havelund; Doron Peled
26-47
Program Verification with Separation Logic
Radu Iosif
48-62
Front Matter
63-63
Petri Net Reductions for Counting Markings
Bernard Berthomieu; Didier Le Botlan; Silvano Dal Zilio
65-84
Improving Generalization in Software IC3
Tim Lange; Frederick Prinz; Martin R. Neuhäußer; Thomas Noll; Joost-Pieter Katoen
85-102
Star-Topology Decoupling in SPIN
Daniel Gnad; Patrick Dubbert; Alberto Lluch Lafuente; Jörg Hoffmann
103-114
Joint Forces for Memory Safety Checking
Marek Chalupa; Jan Strejček; Martina Vitovská
115-132
Model-Checking HyperLTL for Pushdown Systems
Adrien Pommellet; Tayssir Touili
133-152
A Branching Time Variant of CaRet
Jens Oliver Gutsfeld; Markus Müller-Olm; Benedikt Nordhoff
153-170
Control Strategies for Off-Line Testing of Timed Systems
Léo Henry; Thierry Jéron; Nicolas Markey
171-189
An Extension of TRIANGLE Testbed with Model-Based Testing
Laura Panizo; Almudena Díaz; Bruno García
190-195
Local Data Race Freedom with Non-multi-copy Atomicity
Tatsuya Abe
196-215
A Comparative Study of Decision Diagrams for Real-Time Model Checking
Omar Al-Bataineh; Mark Reynolds; David Rosenblum
216-234
Lazy Reachability Checking for Timed Automata with Discrete Variables
Tamás Tóth; István Majzik
235-254
From SysML to Model Checkers via Model Transformation
Martin Kölbl; Stefan Leue; Hargurbir Singh
255-274
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking
Lei Bu; Doron Peled; Dachuan Shen; Yuan Zhuang
275-291
Quantitative Model Checking for a Controller Design
YoungMin Kwon; Eunhee Kim
292-307
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 23 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings