The First Fifteen Years of the Verified Software Project-Reference-Cited by-同舟云学术

The First Fifteen Years of the Verified Software Project

Published:2021-10-02 Issue: Volume: Page:93-124
ISSN:
Container-title:Theories of Programming
language:
Short-container-title:

Author:

Müller Peter,Shankar Natarajan

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3477355.3477362

Reference149 articles.

1. The B-Book

2. J. Abrial S. A. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. Macnaghten (Eds.) On the Construction of Programs. Cambridge University Press 343–410. J. Abrial S. A. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. Macnaghten (Eds.) On the Construction of Programs . Cambridge University Press 343–410.

3. J. Alglave D. Kroening V. Nimal and M. Tautschnig . 2013 . Software verification for weak memory via program transformation. In M. Felleisen and P. Gardner (Eds.) Programming Languages and Systems—22nd European Symposium on Programming ESOP 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2013 (March 16–24 2013). Proceedings Vol. 7792 of Lecture Notes in Computer Science . Springer Rome Italy 512–532. ISBN 978-3-642-37035-9. DOI: 10.1007/978-3-642-37036-6_28. 10.1007/978-3-642-37036-6_28 J. Alglave D. Kroening V. Nimal and M. Tautschnig. 2013. Software verification for weak memory via program transformation. In M. Felleisen and P. Gardner (Eds.) Programming Languages and Systems—22nd European Symposium on Programming ESOP 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2013 (March 16–24 2013). Proceedings Vol. 7792 of Lecture Notes in Computer Science . Springer Rome Italy 512–532. ISBN 978-3-642-37035-9. DOI: 10.1007/978-3-642-37036-6_28.

4. Model-Checking in Dense Real-Time

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

1. Automation of C Program Deductive Verification without Using Loop Invariants;Programming and Computer Software;2022-09-13

2. Specification and verification of a transient stack;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11