Why Would You Trust B?

Details Why Would You Trust B? Why Would You Trust B?

2009-02-23

arxiv.org/abs/0902.3858v1

Logic for Programming, Artificial Intelligence, and Reasoning, Yerevan : Arm\'enie (2007)

Computer Science

Logic in Computer Science

15 pages

Scientific paper

10.1007/978-3-540-75560-9

The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself -- or its implementation -- is not formally checked. We address this question for the B, a widely used formal method that allows for the derivation of correct programs from specifications. Through a deep embedding of the B logic in Coq, we check the B theory but also implement B tools. Both aspects are illustrated by the description of a proved prover for the B logic.

Affiliated with

Also associated with

No associations

Rating

Why Would You Trust B? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Why Would You Trust B?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Why Would You Trust B? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-584220