Nagini: A Static Verifier for Python-Reference-Cited by-同舟云学术

Nagini: A Static Verifier for Python

Published:2018 Issue: Volume: Page:596-603
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Eilers Marco^ORCID,Müller Peter^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-96145-3_33

Reference24 articles.

1. Lecture Notes in Computer Science;M Barnett,2006

2. 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)

3. Barrera, D., Chuat, L., Perrig, A., Reischuk, R.M., Szalachowski, P.: The scion internet architecture. Commun. ACM 60(6), 56–65 (2017)

4. Lecture Notes in Computer Science;J Berdine,2006

5. Boström, P., Müller, P.: Modular verification of finite blocking in non-terminating programs. In: Boyland, J.T. (ed.) European Conference on Object-Oriented Programming (ECOOP). LIPIcs, vol. 37, pp. 639–663. Schloss Dagstuhl (2015)

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

1. Towards a Model Checker for Python: pymodcheck;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20

2. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language;Proceedings of the ACM on Programming Languages;2024-06-20

3. Sound Gradual Verification with Symbolic Execution;Proceedings of the ACM on Programming Languages;2024-01-05

4. Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking;Scientific Annals of Computer Science;2024

5. The VerCors Verifier: A Progress Report;Lecture Notes in Computer Science;2024