Verifying Concurrent Go Code in Coq with Goose

POPL 2020

Verifying Concurrent Go Code in Coq with Goose

Sep 17, 2020
|
20 views
Details
Presenter: Tej Chajed Presented at CoqPL'20, colocated with POPL 2020.

Comments
loading...