Login / Signup

The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.

David DelahayeCatherine DuboisClaude MarchéDavid Mentré
Published in: ABZ (2014)
Keyphrases
  • automated verification
  • theorem prover
  • automated reasoning
  • european project
  • theorem proving
  • data sets
  • artificial intelligence
  • social networks
  • case study
  • np hard
  • optimization problems