pldi19-equivalence-checker icon indicating copy to clipboard operation
pldi19-equivalence-checker copied to clipboard

Published 20 hours ago • verified publisher icon bchurchill
→

Metadata

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Results 0 pldi19-equivalence-checker issues
Sort by recently updated
recently updated
newest added

← Metadata

30
Stars
8
Forks
Watchers

Owner

verified publisher icon bchurchill

Metadata

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Back