The ClearSy
Since 2001, CLEARSY has promoted and has been developing the B method, a formal method for industrial application. B method is a mathematically based technique for specification, development and verification of systems.
Last updated on
About The ClearSy
Founded
2001Estimated Revenue
$10M-$50MEmployees
51-250Category
Sector
Information TechnologyIndustry Group
Software & ServicesIndustry
SoftwareSIC Code
87NAICs Code
54133Location
City
Aix-en-ProvenceState
Provence-Alpes-Cote d'AzurCountry
FranceTech Stack (47)
