VDict - Definition of model checking

search result for model checking in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

A/UX SLANG Persistent Functional Language Management Information Base Zip Drive Petri net prepaging Application Service Element working set lifted domain veeblefetzer TOS btoa state abstract machine Hermes magic cookie Multipop-68 LUCID beta testing tensor product protected mode protocol layer Ptolemy Unified Modeling Language client-server Nova System Management Bus hue, saturation, brightness digital carrier Self object-oriented database VisiCalc /vi'zi-calk/connector conspiracy Glish Advanced Configuration and Power Interface data hierarchy TMRC artificial intelligence Dining Philosophers Problem Java network management JavaScript Telecommunications Device for the Deaf NESL .NET framework PRECCX Foonly Boolean algebra Resource Description Framework Garnet Sinclair Research relational database Clean Simple Network Management Protocol version 2 GCOS PowerPC fuzzy logic Ode MBONE Desktop Management Interface moby Pascal Messaging Application Programming Interface Real Programmers Don't Use Pascal FORTH dynamic random access memory

First < Previous 1 2 3 4 Next > Last