Skip to content
You must be logged in to sponsor konnov

Become a sponsor to Igor Konnov

@konnov

Igor Konnov

konnov
Vienna, Austria

Support Igor's open source work, especially, on the Apalache model checker for TLA+ and Apalache examples.

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ one time

Choose a custom amount.

$20 one time

Select
  • Get a shoutout on Twitter

$50 one time

Select
  • Earn a mention in our Release notes

$250 one time

Select
  • One hour pair-programming session on specifying TLA+, Quint, Apalache

$350 one time

Select
  • One hour consulting or mentorship on specifying with TLA+, Quint and model checking with Apalache

$2,500 one time

Select
  • I'll run a workshop on using TLA+, Quint, and Apalache for your team