Found 4 relevant results in 6.91s where lecturer="Jean-Raymond Abrial"
In this course, participants will learn about new ways of specifying, reasoning about, and developing programs and computer systems. The first half will focus on using functional programs to express and reason about computation. The second half presents methods for developing and verifying programs represented as discrete transition systems.
This course introduces ways of specifying, designing and implementing computerized systems so that the outcome will be correct by construction. It is essentially made of a large number of examples explaining how to write and prove formal models of discrete systems using abstraction and refinement.
The participants of this course learn ways of specifying, designing, and implementing computerized systems so that the outcome is correct by construction. We introduce Event-B, a language for modeling (infinite state) discrete transition systems and proving them correct. An important principle is refinement.