Pages that link to "Item:Q4928447"
From MaRDI portal
The following pages link to Towards Modularly Comparing Programs Using Automated Theorem Provers (Q4928447):
Displaying 11 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)
- Proving mutual termination (Q746783) (← links)
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Constraint-based relational verification (Q832229) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- (Q5016382) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
