Skip to main content

Browse the archive

https://github.com/hoaproject/Praspel
11 August 2023, 18:13:46 UTC
Revision 977d226b11831034b7ca948a654958d34a1c62e3 authored by Ivan Enderlin on 25 November 2013, 14:10:46 UTC, committed by Ivan Enderlin on 25 November 2013, 14:10:46 UTC 
A @default can be declared if…
 
… at least one @behavior exists.
1 parent c265aef
Raw File
Tip revision: 977d226b11831034b7ca948a654958d34a1c62e3 authored by Ivan Enderlin on 25 November 2013, 14:10:46 UTC
A @default can be declared if…
Tip revision: 977d226
README.md 
![Hoa](http://static.hoa-project.net/Image/Hoa_small.png)

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

# Hoa\Praspel

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 library is
[`Hoathis\Atoum`](https://github.com/hoaproject/Hoathis-Atoum).

## Documentation

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

## License

Hoa is under the New BSD License (BSD-3-Clause). Please, see
[`LICENSE`](http://hoa-project.net/LICENSE).
back to top