49:52
🔍 YouTube Search Results for "quint a modern and executable specification language"
Found 16 results
41:34
Quint — Protocol Specifications Made Executable - Zarko Milosevic
ConsensusLab
406 views
View & Download
2:35
Protocol Design Made Simple | Quint Specification Tool Explained
Informal Systems
150 views
View & Download
1:20:26
1:05:07
31:42
2:30
9:26
Executable Specification - Can AI itself be the Code?
András "vbandi" Velvárt
255 views
View & Download
11:54
7:57
1:21:23
The Philosophy of Software Design – with John Ousterhout
The Pragmatic Engineer
268.8K views
View & Download
7:58
1:09:52
The Past, Present and Future of Programming Languages - Kevlin Henney - NDC TechTown 2025
NDC Conferences
29.2K views
View & Download
23:26
1:01:40
A Philosophy of Software Design | John Ousterhout | Talks at Google
Talks at Google
531.6K views
View & Download
9:06