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). Many people don't know whether they should hook up with formal methods or not. Here you will be given the chance to date them without commitment (see Dating).

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