The guardol language and verification system

TACAS, pp. 18-32, 2012.

Cited by: 13|Bibtex|Views4|Links
EI
Keywords:
automated verification supportcorrect network guardverification systemtree-shaped dataguardol programMore(7+)

Abstract:

Guardol is a domain-specific language designed to facilitate the construction of correct network guards operating over tree-shaped data. The Guardol system generates Ada code from Guardol programs and also provides specification and automated verification support. Guard programs and specifications are translated to higher order logic, the...More

Code:

Data:

Your rating :
0

 

Tags
Comments