Hacker News new | ask | show | jobs
Equivalence proofs with SAW – Exploring formal verification (timtaubert.de)
1 points by ttaubert 3436 days ago