figshare
Browse

TLA+ Model Checking in Colab: Microwave Oven (WIP)

software
posted on 2024-09-28, 01:12 authored by Konstantin LäuferKonstantin Läufer, Gunda Mertin, George K. ThiruvathukalGeorge K. Thiruvathukal

Colab notebook with embedded model checking in TLA+.

History

Usage metrics

    Categories

    Keywords

    TLA+model checking

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC