Automating regression verification of pointer programs by predicate abstraction (Q1650864): Difference between revisions

@@ Property / cites work @@
+Introduction to Software Testing
@@ Property / cites work: Introduction to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for information flow in object-oriented programs
+Normal rank
@@ Property / cites work @@
+Ownership confinement ensures representation independence for object-oriented programs
+Normal rank
@@ Property / cites work @@
+Computer-Aided Cryptographic Proofs
@@ Property / cites work: Computer-Aided Cryptographic Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Information Flow in Object-Oriented Software
@@ Property / cites work: Information Flow in Object-Oriented Software / rank @@
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Inference rules for proving the equivalence of recursive procedures
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Modularly Comparing Programs Using Automated Theorem Provers
+Normal rank
@@ Property / cites work @@
+Generalized Property Directed Reachability
@@ Property / cites work: Generalized Property Directed Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3842661
@@ Property / cites work: Q3842661 / rank @@
+Normal rank
@@ Property / cites work @@
+Guiding Craig interpolation with domain-specific abstractions
+Normal rank
@@ Property / cites work @@
+Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
+Normal rank
@@ Property / cites work @@
+Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
+Normal rank