fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver

Konstantin Chukharev, Daniil Chivilikhin

Finite-state models are widely used in software engineering, especially in control systems development. Commonly, in control applications such models are developed manually, hence,…