Conclusions
- We developed software to verify properties of Erlang programs
- We verified a resource locker program featuring multiple resources with shared and exclusive access (upto 6 clients in many different configurations)
- State space upto a million states (several techniques to reduces state space if property is given)
- Working on addition of Erlang constructs to cover more of the language (fault tolerance handling, gen_fsm)