Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Tools
Help
Thesis Details
Thesis:Concurrent/distributed verification algorithms
Concurrent/distributed verification algorithms
constraint-based software analysis and verification algorithms on GPU, e.g., Simplex, interpolation, predicate abstraction
distributed algorithm for context-free reachability with predicate abstraction
Status:
Available
Contact: rybal@in.tum.de
Contact
