|
|
Partnership & Consultancy in Software Development
- B-Core (UK) Ltd. believe in the methods we propose; we promise
near-zero-fault software with respect to an agreed formal
specification.
- B-Core has the expertise to use the B-Toolkit to undertake the
development of small to medium sized software components of high
integrity systems using a well defined development process.
- This may be the best solution for you: it enables the procurement
of high integrity software with the minimum disruption to your
existing processes.
- Alternatively, you may wish to carry out a rigorous (or formal)
development yourselves. B-Core (UK) can supplement your expertise by
providing specialised services such as:
- Assistance in writing formal specifications.
B-Core engineers can advise you in putting the B notation to best
effect, in obtaining the ideal levels of abstraction, and in
structuring the specification to avoid pitfalls in later design.
- Conducting detailed proof work.
One of the most technically demanding tasks in formal development can
be that involved in discharging proof obligations. This vital work
checks the internal consistency of a specification, and establishes
that designs meet their specification.
- Thoroughly reviewing others' developments.
Added confidence comes from having an independent review of the work
of your own engineers, or of work that you have subcontracted to
others.
- B-Core can be your partner in the development of high-integrity
systems, offering the highest available expertise, complete
independence, and total commercial confidentiality.
|
Top of page
|
|
