This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch between formal methods and practitioners. We introduce a set of formal methods and explain their interplay and benefits in terms of usability.
@article{arxiv.1612.01686,
title = {Spatio-temporal Models for Formal Analysis and Property-based Testing},
author = {Nasser Alzahrani and Maria Spichkova and Jan Olaf Blech},
journal= {arXiv preprint arXiv:1612.01686},
year = {2016}
}
Comments
Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG