University of Minnesota
Software Engineering Center
/

You are here

Konrad Slind

Recent Publications

Introduction to the Guardol Language and Verification System

Guardol is a high-level programming language intended to facilitate the construction of correct network guards. The Guardol system generates Ada code from Guardol programs. It also provides specification and automated verification support: guard specifications are formally translated to SMT format and passed to a new decision procedure dealing with functions over tree-structured data. The result is that difficult properties of Guardol programs can be proved fully automatically.

Pages