The person will receive the message and your contact details via an email from Kiuas.

Your message has been sent.
The project owner will get back to you via email.
Oops! Something went wrong while submitting the form.


Looking for co-founders

My account

this project has been Archived.

Software suite for automating certain aspects of formal modelling

John Lång

Model checking is a formal method that is great for specifying, planning, and verifying reactive systems. Managing a model of a real software project can take a lot of work though. In addition to completing the model, the user might need to write scripts for – generating properties; – running the model checker; – scraping and formatting results; and – analysing counterexamples. This project is about creating a DevOps style platform offering standardised templates and automation for these tasks. The goal is to eliminate waste in modelling projects.

Looking for

My ideal business partner is an entrepreneurial person with passion in both theoretical and applied computer science. Understanding formal methods, especially model checking is a must. Also, proficiency in Haskell is a big plus. I'm looking for somebody to help me – brainstorming on tools and features to implement; – participating in the development; and – figuring out a viable business model.
Contact project

Edit my project

E.g. a screenshot/photo of your product, a logo, or a stock image.

Thanks, Firstname!
Refresh the page to view your updated project.
Oops! Something went wrong while submitting the form.

Archive my project

Archive my project


Sad to see your project go, Firstname!
Your profile will be archived without further notice.
Oops! Something went wrong while submitting the form.
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.

Submit your project

and find a co-founder to join it


Kiuas Inside Partner