The Bedwyr System for Model Checking over Syntactic Expressions.

David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu

Browse the full CADE paper archive.