Webpages tagged with «safety»
Published Apr. 17, 2019 2:04 PM
Isabelle is a Tool (from Cambridge/Munich) for Proving Correctness of Cyber Physical Systems and More.
One example application is to prove safety of IoT systems.
Isabelle is a Tool (from Cambridge/Munich) for Proving Correctness of Cyber Physical Systems and More.
One example application is to prove safety of IoT systems.