Semantic Scholar uses AI to extract papers important to this topic.
This paper describes a major new release of the PRISMprobabilistic model checker, adding, in particular, quantitative… Expand On-chip micronetworks, designed with a layered methodology, will meet the distinctive challenges of providing functionally… Expand Recent advances in miniaturization and low-cost, low-power design have led to active research in large-scale networks of small… Expand Symbolic model checking is a powerful formal specification and verification method that has been applied successfully in several… Expand The temporal logics pCTL and pCTL* have been proposed as tools for the formal specification and verification of probabilistic… Expand Publisher Summary This chapter discusses temporal and modal logic. The chapter describes a multiaxis classification of systems of… Expand The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and… Expand The unification problem in f'mst-order predicate calculus is described in general terms as the solution of a system of equations… Expand 0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and… Expand The problem of deciding whether a given propositional formula in conjunctive normal form is satisfiable has been widely studied… Expand