Hoa central

Hoa is a modular, extensible and structured set of PHP libraries. Moreover, Hoa aims at being a bridge between industrial and research worlds.


Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the design-by-contract paradigm and uses preconditions, postconditions, invariants etc. Specifications are written in the comments of the PHP code (always accessible). Praspel is used for manual or automatic software validation and verification, thanks to realistic domains.

This library contains compiler, interpreter, visitors, iterators and other tools around the Praspel language.

An interesting related project is `atoum/praspel-extension`.


With Composer, to include this library into your dependencies, you need to require `hoa/praspel`:

```json { "require": { "hoa/praspel": "~0.0" } } ```

Please, read the website to get more informations about how to install.


Different documentations can be found on the website: http://hoa-project.net/.


Hoa is under the New BSD License (BSD-3-Clause). Please, see `LICENSE`.