The Unit-B Method -- Refinement Guided by Progress Concerns

31 Mar 2020 Hudon Simon Hoang Thai Son Ostroff Jonathan S.

We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • SOFTWARE ENGINEERING
  • LOGIC IN COMPUTER SCIENCE
  • SYSTEMS AND CONTROL
  • SYSTEMS AND CONTROL