TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

OpenEMS - Open Source Energy Management System