# Presentation

From BWare

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/ | + | 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 |