Development of concurrent systems in B AMN

Authors:
K. Lano;J. Dick
Affiliations:
Dept. of Computing, Imperial College, London;B-Core (UK) Ltd., Oxford
Venue:
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Year:
1996

Citing 8
Cited 0

Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
The Z notation: a reference manual

The Z notation: a reference manual
Interconnecting formalisms: supporting modularity, reuse and incrementality

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Formal Object-Oriented Development

Formal Object-Oriented Development
Specifying Properties of Basic LOTOS Processes Using Temporal Logic

Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Formal specification in the development of industrial applications: Subway speed control system

FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Reactive System Specification and Refinement

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.