VDict - Definition of Software Verification Research Centre

search result for Software Verification Research Centre in Computing (FOLDOC) dictionary

First < Previous 3 4 5 6 7 8 9 Next > Last

Stanford Research Institute United Technologies Research Cente IRIS signature PML port ALJABR Research Systems, Inc.model checking Basic Input/Output System Alvey Opal CLR ACCLAIM Orwell IBM 801 EARN RSI KSR Gartner Group Watcom International Internet Monthly Report NORDUnet packet driver National Research and Education Network LUSTRE CCTA computational geometry Fraunhofer Gesellschaft Slingshot Insignia Solutions, Inc.XTP Forum POOL-T MIT Research Laboratory for Electronics Stephen Kleene Gofer wizard POOL Coalition for Networked Information DEC Alpha Genken Programming Language Sinclair Radionics PDS/MaGen ML-lex internationalisation X Consortium TDF Whirlwind Cray Research, Inc.New York University Refined C development dongle National Science Foundation GRAS BOSS ESML MACDesigner Paragon CARDS HENSA TickIT BLISS Quantify PROSE Knowledge Management System FreeHEP C-Prolog mirror STING Internet British Telecom Research Laboratories FOOP INTERLINK VAXset Neptune PC-ware fossil sucking mud Scratchpad I

First < Previous 3 4 5 6 7 8 9 Next > Last