3
The design criteria for opaal is:
6
3. 20%=80% optimisations
9
Try out concepts quickly
10
Before doing more time-consuming, optimised implementation
14
A group of 5th semester students should be able to implement
15
something in a project
16
Readability, overview, loose coupling
18
3. Implement the 20% of the optimisations that give 80% of the speedup
24
opaal is a model checker with the design goals of enabling rapid prototyping,
25
being easy to learn and being sufficiently fast. It should be the first tool
26
used when wanting to try out a model checking concept, therefore it needs to be
27
open source. It should be so easy to learn that a group of undergraduate
28
students can implement something useful with it in one semester. This requires
29
readability, good overview and loose coupling. It should be sufficiently fast,
30
by implementing the low-hanging optimisation fruit - gold plating is forbidden!
34
Kenneth Yrke Jørgensen