This paper outlines an approach to extending B AMN to support concurrent specification, using a combination of linear temporal logic and Ada style task definitions. The extension is applied to the “production cell” case study.
Author and article information
]Dept. of Computing, Imperial College, 180 Queens Gate, London SW7 2BZ
]B-Core (UK) Ltd., Oxford Science Park, Oxford OX4 4GA