Model checking software
Dragan Bošnački,Anton Wijs +1 more
4
TL;DR: The 23rd International Symposium on Model Checking Software (SPIN 2016) as discussed by the authors was held in Eindhoven, The Netherlands, in April 2016, with 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, carefully reviewed and selected from 27 submissions.
read more
Abstract: This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Variability abstractions for lifted analyses
TL;DR: Variability abstractions defined as Galois connections are introduced, which simplify variability away from program families based on # ifdef -s, and are implemented and evaluated on three Java benchmarks.
12
A constraint-based language for modelling intelligent environments
TL;DR: This paper presents an operational semantics based on hybrid automata for Hy-tccp which is a theoretical basis for the analysis and verification of hybrid systems like intelligent environment.
6
Model checking: recent improvements and applications.
Dragan Bošnački,Anton Wijs +1 more
TL;DR: Several contributions in the model checking field are discussed that address both its scalability and its applicability to perform planning and quantitative analysis, and six papers selected from the 23rd International SPIN Symposium on Model Checking Software are introduced.