Results 1 to 10 of about 1,197,029 (323)
Probabilistic model checking of cancer metabolism [PDF]
Scientific Reports, 2022 Cancer cell metabolism is often deregulated as a result of adaption to meeting energy and biosynthesis demands of rapid growth or direct mutation of key metabolic enzymes.
Meir D. Friedenberg +4 more
doaj +2 more sources
Model-Checking Process Equivalences [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal ...
Martin Lange +2 more
doaj +6 more sources
Model-checking ecological state-transition graphs. [PDF]
PLoS Computational Biology, 2022 Model-checking is a methodology developed in computer science to automatically assess the dynamics of discrete systems, by checking if a system modelled as a state-transition graph satisfies a dynamical property written as a temporal logic formula.
Colin Thomas +3 more
doaj +2 more sources
Model Checking One-clock Priced Timed Automata [PDF]
Logical Methods in Computer Science, 2008 We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model-checking problems for that model based on extensions of classical ...
Patricia Bouyer +2 more
doaj +11 more sources
Symbolic model checking quantum circuits in Maude [PDF]
PeerJ Computer ScienceThis article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation.
Canh Minh Do, Kazuhiro Ogata
doaj +3 more sources
Model checking embedded system designs [PDF]
, 2002 We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can ...
Brinksma, Ed, Mader, Angelika
core +23 more sources
Causality-based Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program.
Bernd Finkbeiner, Andrey Kupriyanov
doaj +1 more source
On-the-fly Probabilistic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and local approaches in which, given a state s in M, the procedure determines
Diego Latella +2 more
doaj +1 more source
Model Checking Probabilistic Pushdown Automata [PDF]
Logical Methods in Computer Science, 2006 We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that
Javier Esparza +2 more
doaj +1 more source
A Divide and Conquer Approach to Eventual Model Checking
Mathematics, 2021 The paper proposes a new technique to mitigate the state of explosion in model checking. The technique is called a divide and conquer approach to eventual model checking. As indicated by the name, the technique is dedicated to eventual properties.
Moe Nandi Aung +3 more
doaj +1 more source