Proof-checking a data link protocol-Reference-Cited by-同舟云学术

Proof-checking a data link protocol

Published:1994 Issue: Volume: Page:127-165
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Helmink L.,Sellink M. P. A.,Vaandrager F. W.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58085-9_75

Reference27 articles.

1. K. Apt, N. Francez, and S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2:226–241, 1988.

2. H. Barendregt. Lambda calculi with types. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, pages 117–309. Oxford University Press, 1992.

3. M. Bezem and J. Groote. A formal verification of the alternating bit protocol in the calculus of constructions. Logic Group Preprint Series 88, Dept. of Philosophy, Utrecht University, Mar. 1993.

4. G. v. Bochmann and D. Probst, editors. Proceedings of the 4th International Conference on Computer Aided Verification, volume 663 of Lecture Notes in Computer Science. Springer-Verlag, 1992.

5. D. Bosscher, I. Polak, and F. Vaandrager. Verification of an audio control protocol. Report CS-R94XX, CWI, Amsterdam, 1994. In preparation.

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

1. Parameter synthesis for Markov models: covering the parameter space;Formal Methods in System Design;2024-02-17

2. A Deductive Verification Infrastructure for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2023-10-16

3. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Scenario-based verification of uncertain parametric MDPs;International Journal on Software Tools for Technology Transfer;2022-09-14

5. The probabilistic model checker Storm;International Journal on Software Tools for Technology Transfer;2021-07-06