Counterexample-guided equivalence checking

Simple item page
dc.contributor.authorShubhani
dc.date.accessioned2025-01-07T05:50:00Z
dc.date.issued2023-02-01
dc.identifier.urihttp://ir.iitd.ac.in/handle/123456789/6335
dc.language.isoen
dc.publisherIIT Delhi
dc.subjectCorrelation algorithm
dc.subjectCounter algorithm
dc.subjectSifer algorithm
dc.subjectTranslation validator
dc.subjectInvariant inference grammar
dc.titleCounterexample-guided equivalence checking
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-7122.pdf
Size:
2.06 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download

Collections

Amar Nath and Shashi Khosla School of Information Technology