We have an exciting funded opportunity for a PhD on developing "Verification
Environment for Distributed Systems Implemented in Go". The main objectives are
to define a formal semantics of Go and its CSP-inspired concurrency model in an
interactive theorem prover (e.g., Isabelle/HOL) as well as
r of an accepted paper must register
for the conference and present the work.
### **Track Organization**
**Track Chairs:**
- Marie-Christine Jakobs, Ludwig-Maximilan University, Munich, Germany
- Achim D. Brucker, University of Exeter, UK
For inquiries, please contact the track chairs.
--
Pro
r of an accepted paper must register
for the conference and present the work.
### **Track Organization**
**Track Chairs:**
- Marie-Christine Jakobs, Ludwig-Maximilan University, Munich, Germany
- Achim D. Brucker, University of Exeter, UK
For inquiries, please contact the track chairs.
--
Pro
