Presentation

From BWare
Jump to: navigation, search
Line 30: Line 30:
 
obligations for the B method; translation from set theory to first-order
 
obligations for the B method; translation from set theory to first-order
 
logic; automated theorem proving; proof production and proof checking. The
 
logic; automated theorem proving; proof production and proof checking. The
BWare consortium associates academics entities ([http://cedric.cnam.fr Cedric], [http://www.lri.fr/ Lri], and
+
BWare consortium associates academics entities ([http://cedric.cnam.fr Cedric], [http://www.lri.fr/ LRI], and
 
[http://www.inria.fr/ Inria]) and industrial partners ([http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe], [http://www.clearsy.com/ ClearSy], and
 
[http://www.inria.fr/ Inria]) and industrial partners ([http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe], [http://www.clearsy.com/ ClearSy], and
 
[http://www.ocamlpro.com/ OCamlPro]). This
 
[http://www.ocamlpro.com/ OCamlPro]). This

Revision as of 01:43, 3 October 2012

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox