In computer science and software engineering, formal methods are particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analyses can contribute to the reliability and robustness of a design. However, the high cost of using formal methods means that they are usually only used in the development of high-integrity systems, where safety or security is important.
The objective of this one-day workshop is to promote new techniques and results, and feedback on the implementation and use of such techniques and results, from the practical side.
Moreover, it provides an opportunity to present the formal Rodin modelling platform, some applicable plug-ins which broaden its capabilities, as well as some industrial applications achieved outside the RODIN project
Basically the Intended presentations should deliver a clear message that will show:
- what it is for ?
- how much does it cost ?
- what kind of effort is required to adapt ?
- what impact on development cycle ?
and show practically how to use the formal & proof approach in the industry.
The BDD'08 program includes 12 regular speeches presented by Europeans specialists.
come back to home
Sponsors:
