共 50 条
- [32] An algorithm for automated generation of invariants for loops with conditionals SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 245 - 249
- [34] Algebra-Based Synthesis of Loops and Their Invariants VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 17 - 28