共 50 条
- [31] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1702 - 1711
- [32] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis Proceedings of the ACM Symposium on Applied Computing, : 1702 - 1711
- [34] Functional correctness proofs of encryption algorithms LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 519 - 533
- [35] Correctness proofs for SCADA communication protocols WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 2, 2005, : 392 - 397
- [36] ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROOFS. Journal of the ACM, 1983, 30 (02): : 343 - 359
- [37] Modular correctness proofs of behavioural implementations Acta Informatica, 1998, 35 : 951 - 1005
- [39] Programming Language Elements for Correctness Proofs ACTA CYBERNETICA, 2008, 18 (03): : 403 - 425