Formal Methods Warwick

The formal methods group in the Department of Computer Science at the University of Warwick has research interests in theoretical and application aspects of the verification of software and hardware. We focus on model checking, theorem proving, testing, specification formalisms and notation, games and tools developement.

More information can be found on the Formal Methods Warwick web page.