Webpages tagged with «programming»

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.

Published Aug. 1, 2011 2:10 PM