Skip to content

Latest commit

 

History

History
11 lines (6 loc) · 476 Bytes

README.md

File metadata and controls

11 lines (6 loc) · 476 Bytes

HPL - The HAROS Property Specification Language

This directory contains various documentation files on the HPL project.

For more information on the language itself, see Language Overview.

For a complete reference of the language's syntax, see Language Syntax.

For a formalization of the language's semantics, see Language Semantics.

For a complete reference on the language's Python representation, see AST.