10 likes | 108 Vues
This assignment involves expressing the Communication Controller specification using CSL, creating a statechart design that meets the CC requirements, and validating it through LTL specifications and NuSMV program.
E N D
RTS Development by the formal approach Assignment #5 • Express the specification of the (CC) Communication Controller (assignment #2) in CSL. • Write down a statechart design that satisfies the CC. • Represent the LTL specification and the design of the CC in a NuSMV program and prove the correctness of the design with respect to the specification.