kotaroyamame

Multi-agent formal methods toolkit - define agent contracts in VDM-SL, verify with VDMJ