Keyword:executable specifications

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