animatorcraft (25)in #automation • 5 years agoAutomated test-case generator for CPS model checkersCyber-Physical Systems (CPS) are integrations of computation and physical processes. The embedded computers and…