Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Details for Topic Number 720

verification program software specification tool technique programming error formal memory concurrent language automatic computer correctnes

http://www.researchperspectives.org/gow.topics/topic_720.png

Words in Topic

172 - verification

169 - program

115 - software

72 - specification

68 - tool

65 - technique

63 - programming

60 - error

58 - formal

47 - memory

46 - concurrent

46 - language

39 - automatic

36 - computer

36 - correctnes

Key Grants