A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
[article]
2020
arXiv
pre-print
Finite-state models are widely used in software engineering, especially in control systems development. Commonly, in control applications such models are developed manually, hence, keeping them up-to-date requires extra effort. To simplify the maintenance process, an automatic approach may be used, allowing to infer models from behavior examples and temporal properties. As an example of a specific control systems development application we focus on inferring finite-state models of function
arXiv:1907.03285v3
fatcat:hnlfvvtdjzbzves34i5llqeffe