Due to our experience in modeling and our
ability to understand and abstract our clients’ needs, we are able to support
operators, industry and originators in verifying specifications for systems and
software.
The B Method, associated
with other formalisms, is used to analyze, validate, reorganize and provide elements
that may complete specifications. This approach is applicable to every
industrial sector. Today, it is used successfully in the automotive, bank,
space and nuclear sectors.
