The Full Wiki

More info on Model checking

Model checking: Quiz

Advertisements
  

Question 1: Model Checking, Doron Peled, Patrizio Pelliccione, Paola Spoletini, Wiley Encyclopedia of Computer Science and Engineering, ________.
2009200719982006

Question 2: An important class of model checking methods have been developed for checking models of hardware and ________ designs where the specification is given by a temporal logic formula.
Java (programming language)ComputerLinuxComputer software

Question 3: Clarke, Emerson, and Sifakis shared the 2007 ________ for their work on model checking.
Vint CerfNiklaus WirthTuring AwardIvan Sutherland

Question 4: ________ (Construction and Analysis of Distributed Processes) a toolbox for the design of communication protocols and distributed systems
Process calculusConstruction and Analysis of Distributed ProcessesCalculus of communicating systemsCommunicating sequential processes

Question 5: The use of ________ (BDDs) was made popular by the work of Ken McMillan.
Logical conjunctionBoolean satisfiability problemBinary decision diagramAnd-inverter graph

Question 6: Such a program corresponds to a ________ (FSM), i.e., a directed graph consisting of nodes (or vertices) and edges.
Deterministic finite-state machineNondeterministic finite state machineTuring machineFinite-state machine

Question 7: Model Checking, Doron Peled, Patrizio Pelliccione, Paola Spoletini, Wiley Encyclopedia of Computer Science and Engineering, ________.
2007200919982006

Question 8: Logic in Computer Science: Modelling and Reasoning About Systems, Michael Huth and Mark Ryan, ________, 2004.
Cambridge University PressOxford University PressEnglandAuthorized King James Version

Question 9: The structure is usually given as a source code description in an industrial ________ or a special-purpose language.
Hardware description languageVerilogField-programmable gate arrayProgramming language

Question 10: Typically, the systems one has in mind are hardware or software systems, and the specification contains safety requirements such as the absence of ________ and similar critical states that can cause the system to crash.
Distributed computingDeadlockCommitment orderingLock (computer science)







Advertisements









Got something to say? Make a comment.
Your name
Your email address
Message