Back to Results
First PageMeta Content
Distributed computing / Model checking / File system / Symbolic execution


Symbolic Execution of Distributed Software MEng Final Report Written by Milen Dzhumerov Supervisor: Peter Pietzuch Second Supervisor: Cristian Cadar
Add to Reading List

Document Date: 2015-03-09 10:58:44

Open Document

File Size: 1,47 MB

Share Result on Facebook

IndustryTerm

distributed software / Web Server / software development / /

Person

Tony Field / Ian Hodkinson / Cristian Cadar / Peter Pietzuch / Iain Phillips / Chris Emery / Susan Eisenbach / /

/

Position

Supervisor / Scheduler / /

Technology

Web Server / /

SocialTag