2016/12/06 by Nasser Alzahrani, Alzahrani, Nasser, Maria Spichkova +3
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1612.01686
Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG
arxiv created 2016/12/09 · arxiv updated 2016/12/12
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.