Spatio-temporal Models for Formal Analysis and Property-based Testing
This work addresses usability issues for practitioners in formal methods, but it appears incremental as it builds on existing formal methods without claiming major breakthroughs.
The paper tackles the impedance mismatch between formal methods and practitioners by proposing a spatio-temporal model framework for formal analysis and property-based testing, but no concrete results or numbers are provided as it is described as ongoing work.
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.