Welcome to: Formal Methods
- an informal introduction
You might have come across this site while looking for something related to formal methods. Well, this is. It is a small project to make formal methods more popular by personifying them (see Intro).
This site is currently under development. There are however some parts with a decent amount of information. I really appreciate feedback. Please don't hesitate to:
- correct me
- point out shortcomings
- send new ideas