Welcome to B-Core's website
B-Core provides complete support for the method of software development
that is known as B: an object-oriented technique that comes closer to
producing zero-defect software than any other currently available.
It is supported by a mature state-of-the-art integrated suite of tools - the
B-Toolkit - which is used worldwide in industry, research and teaching
in countries including Canada, USA, Australia, Russia, Japan, Korea,
Scandinavia, Italy, France and the UK.
If you develop mission-critical software, or are involved in teaching
sound practices of software engineering ... please read on!
Please use the table on the left to navigate the site
Home Page brings you back here