specification-language topic

List specification-language repositories

Praspel

40
Stars
7
Forks
Watchers

The Hoa\Praspel library.

verified publisher icon hoaproject

RESOLVE

22
Stars
15
Forks
Watchers

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

verified publisher icon ClemsonRSRG