About Marcillac.

About company

Marcillac is about software verification. Our product, Buggy allows performing software verification in a way that is faster, fully automated, cheaper and easier to use that current methodologies, without creating managerial bottlenecks. With Buggy the developer to verifies his software developed on real time and without the need for third parties. It allows verification for the software developed as well as black box testing. Marcillac will offer cloud spfwtare verification services, consulting and libraries of pre-verified software components.