Beetlz is a consistency (refinement) checker for BON, the Business Object Notation (BON), and JML-annotated Java. It consists of both a command line tool and an Eclipse plugin.
-
Notifications
You must be signed in to change notification settings - Fork 0
A consistency (refinement) checker for BON, the Business Object Notation (BON), and JML-annotated Java.
License
FreeAndFair/Beetlz
About
A consistency (refinement) checker for BON, the Business Object Notation (BON), and JML-annotated Java.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published