Exact Finite-State Machine Identification from Scenarios and Temporal Properties

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Finite-state models, such as finite-state machines (FSMs), aid software engineering in many ways. They are often used in formal verification and also can serve as visual software m…