quantum theory and AI
Quantitative Analysis and Verification:
http://qav.comlab.ox.ac.uk
Systems Verification Group: (Daniel Kroening)
http://www.cprover.org
Oxford University:
Automated verification group (Marta Kwiatkowska, Daniel Kroening)
Programming Language group (Daniel Kroening)
Foundations, Logic and Structures (Marta Kwiatkowska, Daniel Kroening)
Software and Computational Systems Lab: (Dirk Beyer)
https://www.sosy-lab.org
About Benchmark and Experiment:
LDV Project:
http://linuxtesting.org/ldv
DDverify: (Systems Verification Group)
http://www.cprover.org/ddverify/
BenchExec:
https://github.com/sosy-lab/benchexec