A comparison of tools for teaching formal software verification.

Ingo Feinerer Gernot Salzer

Published in: Formal Aspects Comput. (2009)

Keyphrases

software tools
formal methods
educational software
learning environment
learning systems
technical expertise
distance learning
formal model
learning process
formal models
end users
higher education
user friendly
formal specification
web based learning
life long