211
1119 days ago
Separation logic 使った商用の自動メモリ検証ツールだって。すげー！
Company researcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
211
1119 days ago
Separation logic 使った商用の自動メモリ検証ツールだって。すげー！
0 Comments
Realtime comments disabled