Vergrep - Verified Regular Expression String Search Utility
The main objective of the Vergrep project is to develop a provably correct and efficient regular expression string search tool using type theory-based proof assistants.
Research Projects
VerMedia - A formally verified theory for temporal media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples of temporal media include music, video clips and computer animations. The main objective of this project is to develop a formally certified library of polymorphic functions to handle temporal media data.