TY - GEN
T1 - The concurrency factory software development environment
AU - Cleaveland, Rance
AU - Lewis, Philip M.
AU - Smolka, Scott A.
AU - Sokolsky, Oleg
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.
PY - 1996
Y1 - 1996
N2 - The Concurrency Factory is an integrated toolset for specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. Two themes central to the project are the following: the use of process algebra, e.g., CCS, ACP, CSP, as the underlying formal model of computation, and the provision of practical support for process algebra. By “practical” we mean that the Factory should be usable by protocol engineers and software developers who are not necessarily familiar with formal verification, and it should be usable on problems of real-life scale, such as those found in the telecommunications industry. This demo is intended to demonstrate the following features of the Concurrency Factory: the graphical user interface VTView and VTSim, the local model checker for the alternation-free modal mu-calculus, and the graphical compiler that transforms VTView specifications into executable code.
AB - The Concurrency Factory is an integrated toolset for specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. Two themes central to the project are the following: the use of process algebra, e.g., CCS, ACP, CSP, as the underlying formal model of computation, and the provision of practical support for process algebra. By “practical” we mean that the Factory should be usable by protocol engineers and software developers who are not necessarily familiar with formal verification, and it should be usable on problems of real-life scale, such as those found in the telecommunications industry. This demo is intended to demonstrate the following features of the Concurrency Factory: the graphical user interface VTView and VTSim, the local model checker for the alternation-free modal mu-calculus, and the graphical compiler that transforms VTView specifications into executable code.
UR - https://www.scopus.com/pages/publications/33644533640
U2 - 10.1007/3-540-61042-1_56
DO - 10.1007/3-540-61042-1_56
M3 - Conference contribution
SN - 3540610421
SN - 9783540610427
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 391
EP - 395
BT - Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Verlag
T2 - 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996
Y2 - 27 March 1996 through 29 March 1996
ER -