Formal modeling | InfoBlender

Formal modeling

An Executable Formal Framework for Safety-Critical Human Multitasking 2/21/2018

By Giovanna Broccia, University of Pisa, Italy.

Read more

Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors 2/7/2018

By Prof. Meng Sun, Peking University, China.

Read more