Sciweavers

2 search results - page 1 / 1
» Using SPARK for a beginner's course on reasoning about imper...
Sort
View
SIGADA
2007
Springer
13 years 9 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
TFM
2004
Springer
118views Formal Methods» more  TFM 2004»
13 years 9 months ago
A Beginner's Course on Reasoning About Imperative Programs
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
Kung-Kiu Lau