PARAGON : A Paradigm for the Speci cation , Veri cation and Testing of Real-Time Systems

|The PARAGON toolset provides an environment for the modular and hierarchical design of resource-bound, real-time systems. It o ers well-integrated graphical and textual speci cation languages with formal semantics. Both languages are based on the Algebra of Communicating Shared Resources (ACSR), a process algebra with explicit notions of time, resources… CONTINUE READING