collaborators

1 paper

cs.SE2017

System level specification and verification using Concurrent State Machines and COSMA environment

Wiktor B. Daszczuk, Jerzy Mieścicki, Michał Nowacki +1

Traffic Light Controller, a typical benchmark device, is specified and verified using of a formal model called Concurrent State Machines (CSM) and the software environment COSMA 2.…