Thomas Fayolle

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each(More)
  • 1