Welcome to: Formal Methods

- an informal introduction

Jan Oliver Ringert

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
You will find my email on the contact page. Looking forward to hearing from you,
Jan O. Ringert