Results 11 to 20 of about 221,743 (312)
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 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
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 +3 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 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 +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
Model Checking Social Network Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the ...
Raúl Pardo, Gerardo Schneider
doaj +1 more source
Model Checking Paxos in Spin [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed to implement transitions that depend on majority voting. Our formalization
Giorgio Delzanno +2 more
doaj +1 more source
Geometric Model Checking of Continuous Space [PDF]
Logical Methods in Computer Science, 2022 Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in
Nick Bezhanishvili +5 more
doaj +1 more source