#executableSpecification

Latest posts tagged with #executableSpecification on Bluesky

Trending

#Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict #MJF Tribute #Javier Bardem #Marty Supreme #WBC #Andrade #Jessie Buckley #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict #MJF Tribute #Javier Bardem #Marty Supreme #WBC #Andrade #Jessie Buckley

Posts tagged #executableSpecification

Artur Lojewski

@artur-lojewski.bsky.social

10 months ago

Die Hard with GenAI-accelerated TLAi+ YouTube video by TLA+ - The Temporal Logic of Actions

The famous ‚Die Hard‘ problem with GenAI-accelerated TLAi+ by Markus Kuppe (now with NVIDIA):

youtu.be/JX_kTGHoYT8

#tlaplus #executableSpecification

1 0 0 0