SPIN
1999
Springer
14 years 3 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
ICALT
2009
IEEE
14 years 6 months ago
2009
IEEE
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...