Packages

Get Gentoo!

gentoo.org sites

gentoo.org Wiki Bugs Forums Packages

Planet Archives Sources

Home
Packages
Maintainers
USE flags
Architectures
About

sci-mathematics/
cubicle

Model checker for verifying properties of array-based systems

https://cubicle.lri.fr/

Overview Dependencies QA report Pull requests 0 Bugs 0 Security 0 Changelog

Dependencies Reverse-Dependencies

1.2.0-r2

Description

The dependencies are regularly computed based on the qa-reports.

© 2001–2025 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.

Contact
v1.0.3