published by kotaroyamame

1 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

1. formal-agent-contracts ★ 1
   Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate Ty