Verification and Analysis using Slicing, Testing and Transformation (EPSRC)

I am a co-investigator on the VASTT project. The VASTT group's work is concerned with extraction, modification and verification of systems and their components, primarily using techniques associated with slicing, testing and transformation.