Category Topics

Apalache Questions

We know that using Apalache efficiently requires a bit of experience. If you have been using TLC and want to try Apalache, feel free to ask questions here. Please ask general questions on TLA+ in the TLA+ User Group. The TLA+ User Group is much larger and it has a lot of active community members.
2

General

Create topics here that don’t fit into any other existing category.

2

Apalache Research

Have an idea about improving Apalache? This is the place to discuss your idea.
1

Site Feedback

Discussion about this site, its organization, how it works, and how we can improve it.

0

Apalache Development

You would like to contribute to Apalache but don’t know how? Perhaps, you have an idea but it is not clear to you, whether it would make sense to implement. This is the place to discuss potential directions in the development.
0

Apalache Success Stories

You have used Apalache to check a non-trivial TLA+ specification? Tell us about it!
0