gentoo.mahdi.cz

  

sci-mathematics:cubicle


Model checker for verifying properties of array-based systems

cubicle-1.2.0-r2Apache-2.0
download~amd64 ~x86gentoo