opaal is a model checker with the design goals of enabling rapid prototyping, being easy to learn and being sufficiently fast. It should be the first tool used when wanting to try out a model checking concept, therefore it needs to be open source. It should be so easy to learn that a group of undergraduate students can implement something useful with it in one semester. This requires readability, good overview and loose coupling. It should be sufficiently fast, by implementing the low-hanging optimisation fruit - gold plating is forbidden!

Looking for the multicore opaal + LTSmin stuff?



The opaal manifest