Using higher-order logic for modular specification of real-time distributed systems-Reference-Cited by-同舟云学术

Using higher-order logic for modular specification of real-time distributed systems

Published:1988 Issue: Volume: Page:36-66
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

MacEwen Glenn H.,Skillicorn David B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-50302-1_2.pdf

Reference18 articles.

1. M.R. Barbacci and J.M. Wing, “Specifying Functional and Timing Behavior for Real-Time Systems,” Proceedings of the Conference on Parallel Architectures and Languages, (June 1987).

2. G. Berry, S. Moisan, and J-P. Rigault, “ESTEREL: Towards a Synchronous and Semantically Sound High Level Language for Real-Time Applications,” IEEE Real-Time Systems Symposium, pp. 30–37 (December 1983).

3. A. Camilleri, M. Gordon, and T. Melham, Hardware Verification Using Higher-Order Logic, Computer Laboratory, Cambridge University (June 11, 1987).

4. M. Coulas, G. H. MacEwen, and G. Marquis, “RNet: A Hard Real-Time Distributed Programming System,” IEEE Transactions on Computers C-36(8) pp. 917–932 (August 1987).

5. J.S. Crow and others, SRI Specification and Verification System, Computer Science Laboratory, SRI International, Menlo Park, CA (May 1986).

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Real-Time and Safety-Critical Systems;High-Integrity System Specification and Design;1999

2. Formal hardware verification methods: A survey;Formal Methods in System Design;1992-10

3. Formal Hardware Verification Methods: A Survey;Computer-Aided Verification;1992

4. Analysis of timeliness requirements in safety-critical systems;Lecture Notes in Computer Science;1992

5. Using higher order logic for modelling real-time protocols;TAPSOFT '91;1991