Checking sequence generation for symbolic input/output FSMs by constraint solving

DOI10.1007/978-3-030-02508-3_19OpenAlexW2896953452MaRDI QIDQ1623146

Y. Aharonov

Publication date: 23 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_19

zbMATH Keywords

fault detectionconstraint solvingfault modelingchecking sequenceextended FSMsymbolic input/output FSM

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Checking sequence generation for symbolic input/output FSMs by constraint solving