Gillian, Part II: Real-World Verification for JavaScript and C.

Petar Maksimovic, Sacha-lie Ayoun, Jos Fragoso Santos, Philippa Gardner

Browse the full CAV paper archive.