Experiments in theorem proving and model checking for protocol verification-Reference-Cited by-同舟云学术

Experiments in theorem proving and model checking for protocol verification

Published:1996 Issue: Volume: Page:662-681
ISSN:0302-9743
Container-title:FME'96: Industrial Benefit and Advances in Formal Methods
language:
Short-container-title:

Author:

Havelund Klaus,Shankar Natarajan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60973-3_113.pdf

Reference21 articles.

1. K. A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260, 261, May 1969.

2. Rachel Mary Cardell-Oliver. The formal verification of hard real-time systems. Technical Report 255, University of Cambridge Computer Laboratory, 1992.

3. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.

4. E.M. Clark, O. Grumberg, and D.E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512–1542, September 1994.

5. C. Comes, J. Courant, J.C. Filliatre, G. Huet, P. Manoury, C Paulin-Mohring, C. Munoz, C. Murthy, C. Parent, A. Saibi, and B. Werner. The Coq proof assistant reference manual, version 5.10. Technical report, INRIA, Rocquencourt, Prance, February 1995. This version is newer than the version used to verify the BRP-protocol in [10].

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

1. Integrated Modeling and Development of Component-Based Embedded Software in Scala;Lecture Notes in Computer Science;2021

2. A Refinement Proof for a Garbage Collector;From Reactive Systems to Cyber-Physical Systems;2019

3. A survey on verification strategies for intelligent transportation systems;Journal of Reliable Intelligent Environments;2018-10-19

4. Human Automation Interaction Issue Detection Using a Generalized Fuzzy Hidden Markov Model;AIAA Information Systems-AIAA Infotech @ Aerospace;2017-01-05

5. System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis;ETRI Journal;2015-02-01