--%>
Assignment Help - homework help

State-space Reduction in Promela model

State-space Reduction: Two language statements are used to reduce the number of states in a Promela model: atomic and d-step.

1553_state space.jpg

Atomic is used to group statements of a particular process into one atomic sequence. The statements are executed in a single step and are not interleaved with statements of other processes. The atomicity is broken if any of the statements is blocking. That is, statements of other processes can be interleaved in between.

d-step can also be used to execute a number of statements in one step. The difference is that no intermediate states are generated or stored. If one of the statements blocks, this is considered a runtime error.

   Related Questions in Programming Languages

  • Q : Technologies are used in AJAX Name the

    Name the technologies that are used in AJAX?

    		•
  • Q : Define the term Case label Case label :

    Case label: The value utilized to select a specific case in a switch statement.

    		•
  • Q : What is Pop-up menu Pop-up menu : A

    Pop-up menu: A menu of actions which is generally not visible on the screen till a mouse button is clicked. The Popup menus assist to keep a user interface from becoming cluttered.

    		•
  • Q : Passing by address or reference Passing

    Passing by address or reference: In this technique no separate memory build for formal variables that is, formal variables share similar location of actual variables and therefore any change on formal variables automatically reflected back to real var

    		•
  • Q : Define Factoring Problem Factoring

    Factoring Problem: Factoring is the action of dividing an integer into a set of smaller integers (or factors) which, when multiplied altogether, form the unique integer. For illustration, the factors of 15 are 3 and 5; the factoring trouble is to find

    		•
  • Q : ID of TC Trustcenter Publisher and

    For how long are ID of TC Trustcenter Publisher and certificates of developer valid?

    		•
  • Q : Modeling Language for SPIN-Promela

    Modeling Language: The modeling language used for SPIN is called Promela (Process Meta Language). In fact, the name SPIN stands for Simple Promela Interpreter. Promela is a powerful C-like specification language with a variety of synchronization primi

    		•
  • Q : Non linear dynamic model equation to

    Could you please show the steps from non linear dynamic model equation to linear equation?

    		•
  • Q : Components of ASP.NET AJAX architecture

    Name the components of ASP.NET AJAX architecture?

    		•
  • Q : Define Fully evaluating operator Fully

    Fully evaluating operator: An operator which computes all of its arguments to generate an outcome. Standard arithmetic operators, like +, are totally evaluating. In contrary, some Boolean operators, like &&, are short-circuit operators.

    		•