Specl Development
Java Perl
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.settings
lib
src
.classpath
.gitignore
.project
README.md

README.md

Specl-Analyser

Specl is a special-purpose assertion DSL for the expression of monitoring directives and constraint.

Specl concentrates on both functional and non-functional properties, and is suitable to express general dependability properties such as safety, integrity, availability and reliability.