Evan aka Evolf

Automated test-case generator for CPS model checkers

Cyber-Physical Systems (CPS) are integrations of computation and physical processes. The embedded computers and networks monitor and control the physical processes, usually with feedback loops where…