VDict - Definition of model checking

search result for model checking in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

Protocol Data Unit communications software WAVE physical layer Standard for the exchange of product model data Dynamic Data Exchange Markov Geographic Information System FUNLOG session layer domain-specific language Pegasus DICOM overhead Very Large Database SPARCstation 20 Calculus of Communicating Systems tall card Quarter Inch Cartridge network layer Darwin Tape Operating System Remote Operations Service Element protocol stack SAL Pentium Application Protocol Data Unit application layer equational logic Paralation IBM 1620 Attributed File System CyberGlove Parallel Fortran nonlinear simulation Xerox Data Systems Model 940 PDP-11 write-only memory Graph-Oriented Object Database Open Distributed Processing Brain Aid Prolog analogue computer Bezier domain architecture polymorphism International Organization for Standardization DECmate I SOAR Data definition language Dynamic HTML legal DACTL relational algebra Desktop Management Task Force capability transport layer Andrew Tanenbaum Smart Battery Data baz Hopfield network GNU Network Object Model Environment shar Concrete Data Structure Axiomatic Architecture Description Language Vienna Development Method Specification Language network Constraint Handling In Prolog Remote Procedure Call multiple perspective software development SP/2 error detection and correction Upper Layer Protocol Domain Analysis Linda B-Toolkit DOS requester network redirector Kevo TK-90X

First < Previous 1 2 3 4 Next > Last