Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Logic in computer science / Proof assistant / Coq / Mathematical proof / TPTP / KeY / Formal verification / Theoretical computer science / Mathematics / Mathematical software


The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations? David Delahaye1 , Catherine Dubois2 , Claude Marché3 , and David Mentré4 (for the BWare project consortium?? ) 1
Add to Reading List

Document Date: 2014-09-27 10:57:11

Open Document

File Size: 347,23 KB

Share Result on Facebook

City

Évry / Orsay / Rennes / Paris / /

Company

Mitsubishi Electric R&D Centre Europe / /

Country

France / /

IndustryTerm

verification tools / industrial applications / proof search / /

Organization

Programming Artificial Intelligence / French National Research Agency / /

Position

mp / translator / Coq proof assistant / /

Product

Cedric / /

Technology

html / artificial intelligence / /

URL

http /

SocialTag