-
This site is designed to present different work and subjects for consideration by Clearsy concerning the B method, a formal method with proof.
bmethod.com - 2009-04-11
-
B-Core & the B-Toolkit
automated proof  automated tool support  b-core  bmethod  b-technology  btool  b-tool  btoolkit  b-toolkit  proof tool  structured method  zero defect software 
www.b-core.com - 2009-02-07
|
reliability
formal method
security
quality assurance
use case
systems
formal methods
software verification
control
computer security
testing
equipment
|
|