Fig 5 - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
Source publication
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. Hence the feedback provided by industry to ac...
