Keyword:executable specifications

Publications
Specifying and Verbalising Answer Set Programs in Controlled Natural Language Rolf Schwitter EasyChair Preprint 194
A Brief Introduction to the PVS2C Code Generator Natarajan Shankar In:Automated Formal Methods