Formal Verification of Control Systems Software

DOI10.1515/9780691189581zbMath1410.68005OpenAlexW4237104417MaRDI QIDQ4554783

Pierre-Loïc Garoche

Publication date: 9 November 2018

Full work available at URL: https://doi.org/10.1515/9780691189581

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Automated systems (robots, etc.) in control theory (93C85) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verifying autonomous systems

This page was built for publication: Formal Verification of Control Systems Software