The VerifyThis Collaborative Long Term Challenge
Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
Topics & Concepts
Computer scienceTerm (time)Quantum mechanicsPhysicsFormal Methods in VerificationParallel Computing and Optimization TechniquesDistributed systems and fault tolerance