Runtime Assertion Checking and Static Verification: Collaborative Partners-Reference-Cited by-同舟云学术

Runtime Assertion Checking and Static Verification: Collaborative Partners

Published:2018 Issue: Volume: Page:75-91
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Verification
language:
Short-container-title:

Author:

Maurica Fonenantsoa,Cok David R.,Signoles Julien

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03421-4_6

Reference42 articles.

1. Abrial, J.-R., Hoare, A., Chapron, P.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

2. Lecture Notes in Computer Science,2016

3. Barnes, J.: Spark: The Proven Approach to High Integrity Software. Altran Praxis, UK (2012). http://www.altran.co.uk

4. Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. Commun. ACM 54(6), 81–91 (2011)

5. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England) (2010)

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

1. Sound Runtime Assertion Checking for Memory Properties via Program Transformation;Formal Aspects of Computing;2023-07-31

2. The e-ACSL perspective on runtime assertion checking;Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution;2021-07-11

3. Integrating Formal Verification and Assurance: An Inspection Rover Case Study;Lecture Notes in Computer Science;2021

4. The VerifyThis Collaborative Long Term Challenge;Lecture Notes in Computer Science;2020

5. A Broader View on Verification: From Static to Runtime and Back (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018