Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
r1ru
riru
4 Decks
0 Following
4 Followers
1 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
プログラム検証入門
riru
6
1.7k
Symbolic model checker from scratch in Rust
riru
1
520
モデル検査入門
riru
2
99
WasmOS: Wasmを実行する自作Microkernel
riru
0
640
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade