Spatio-temporal Models for Formal Analysis and Property-based Testing

TL;DR

This paper introduces a framework using spatio-temporal models to enhance formal analysis and property-based testing, aiming to bridge the gap between formal methods and practitioners for improved usability.

Contribution

It presents a novel framework that integrates formal methods with spatio-temporal models to improve usability in formal analysis and testing.

Findings

Enhanced usability of formal methods through the proposed framework

Better integration of formal analysis and property-based testing

Initial validation shows promising results in reducing impedance mismatch

Abstract

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.