Login / Signup
Nicolas Dilley
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Epistemic Logic
Ldpc Codes
Automated Verification
Sum Product
Top Venues
SANER
ASE
PLACES@ETAPS
</>
Publications
</>
Nicolas Dilley
,
Julien Lange
Automated Verification of Go Programs via Bounded Model Checking.
ASE
(2021)
Nicolas Dilley
,
Julien Lange
Bounded verification of message-passing concurrency in Go using Promela and Spin.
PLACES@ETAPS
(2020)
Nicolas Dilley
,
Julien Lange
An Empirical Study of Messaging Passing Concurrency in Go Projects.
SANER
(2019)