Report

Share

Follow

•0 likes•728 views

•0 likes•728 views

Report

Share

Download to read offline

This a talk I gave at the 13th CREST Worshop. See more details at: http://crest.cs.ucl.ac.uk/cow/13/

Follow

- 4. Inventor of the Z and B formal methods.
- 5. Z – developed in the 70s
- 6. B – developed in the 90s, successfully deployed in industry
- 7. Event-B – born with the 21st century
- 8. Evolution of B for system level specification
- 11. Bosch, Siemens, SAP, SSF
- 12. 3 industrial service providers
- 15. Newcastle, Aabo, Düsseldorf, ETH Zurich,
- 18. Theorem proving as core technology
- 19. Many other Rodin Plug-ins
- 20. ProB:animation, consistency and model-checking
- 22. Decomposition
- 23. Modularisation
- 24. Team-work
- 25. Code generation
- 26. UML-B
- 28. set theory as mathematical language
- 29. refinement as basic modeling approach
- 30. Contexts
- 32. constants
- 33. axioms
- 34. Machines
- 35. global variables
- 36. invariants
- 37. events that update the variables
- 38. Events
- 39. local parameters
- 40. guards
- 61. Random Testing (RT)
- 62. on 18 paths covering 5 Event-B models
- 69. Test data generation for one path with search-based algorithms
- 70. Construct finite models with evolutionary algorithms
- 71. Combine ProB model-checker with meta-heuristics
- 72. Combine ProB constraint-solver with meta-heuristics