Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
Conference proceeding (August 2020)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Conference proceeding (August 2020)
Article in Journal of Computer Languages (April 2019)
Article in Software Practice and Experience (September 2018)