Search results

• Active

  Formal Verification of Practical Nominal Unification Algorithms

  Mansour, M. A. (Primary Investigator), Fernandez, M. (Co-Investigator) & Urban, C. (Co-Investigator)

  Royal Society

  31/03/2025 → 30/03/2027

  Project: Research

• Finished

  NTVE: Nominal Techniques for Verification Environments

  Fernandez, M. (Primary Investigator) & Urban, C. (Co-Investigator)

  Royal Society

  15/11/2021 → 14/11/2024

  Project: Research

• Efficient and provably correct schedulers for many-core CPUs

  Urban, C. (Primary Investigator)

  3/06/2013 → 2/10/2015

  Project: Research

• Usability evaluation of model transformation verification approaches (TransVerif)

  Lano, K. (Primary Investigator) & Urban, C. (Co-Investigator)

  1/01/2013 → 31/12/2015

  Project: Research

• Provably correct scheduling algorithms

  Urban, C. (Primary Investigator)

  1/01/2013 → 31/12/2014

  Project: Research

• Error-Free Programming using Theorem Provers - 0Bugs

  Urban, C. (Primary Investigator)

  1/01/2013 → 31/12/2017

  Project: Research

• Verifying XML query optimisations

  Urban, C. (Primary Investigator)

  1/05/2012 → 31/10/2013

  Project: Research

• New Verified Parsers

  Urban, C. (Primary Investigator)

  1/04/2012 → 30/03/2014

  Project: Research

• Solving the PoplMark Challenge: new techniques for the verification of the correctness of programming languages

  Urban, C. (Primary Investigator)

  DFG Deutsche Forschungsgemeinschaft

  1/04/2012 → 31/05/2013

  Project: Research

• Providing documentation and test cases for the theorem prover Isabelle

  Urban, C. (Primary Investigator)

  DFG Deutsche Forschungsgemeinschaft

  1/12/2011 → 30/11/2012

  Project: Research