The famous ‚Die Hard‘ problem with GenAI-accelerated TLAi+ by Markus Kuppe (now with NVIDIA):
youtu.be/JX_kTGHoYT8
#tlaplus #executableSpecification
youtu.be/JX_kTGHoYT8
#tlaplus #executableSpecification
Die Hard with GenAI-accelerated TLAi+
YouTube video by TLA+ - The Temporal Logic of Actions
youtu.be
May 15, 2025 at 5:53 PM
The famous ‚Die Hard‘ problem with GenAI-accelerated TLAi+ by Markus Kuppe (now with NVIDIA):
youtu.be/JX_kTGHoYT8
#tlaplus #executableSpecification
youtu.be/JX_kTGHoYT8
#tlaplus #executableSpecification