The following pages link to SymDiff (Q25011):
Displaying 18 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Verification by gambling on program slices (Q2147204) (← links)
- A self-certifying compilation framework for WebAssembly (Q2234063) (← links)
- Regression verification for unbalanced recursive functions (Q2281656) (← links)
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Taking Satisfiability to the Next Level with Z3 (Q2908472) (← links)
- Is Your Software on Dope? (Q2988635) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Towards Modularly Comparing Programs Using Automated Theorem Provers (Q4928447) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
- eVolCheck: Incremental Upgrade Checker for C (Q5326332) (← links)