Spatio-temporal Models for Formal Analysis and Property-based Testing
classification
💻 cs.SE
keywords
formalanalysismethodsmodelsproperty-basedspatio-temporaltestingaims
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.