Results 1 to 10 of about 23,407,383 (367)
Resonance, 2009 Turing Lecture from the winners of the 2007 ACM A.M. Turing Award. In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly successful field of model checking.
DORON PELED +2 more
semanticscholar +5 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
Probabilistic model checking of cancer metabolism. [PDF]
Sci Rep, 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.
Friedenberg MD +4 more
europepmc +2 more sources
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models [PDF]
ESEC/SIGSOFT FSE, 2019 Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems.
Briand, Lionel C. +5 more
core +4 more sources
, 2012 In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the behaviour of a single agent in a (large) population of agents, exploiting a ...
Bortolussi, Luca, Hillston, Jane
core +5 more sources
Model-checking ecological state-transition graphs. [PDF]
PLoS Comput Biol, 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.
Thomas C +3 more
europepmc +2 more sources
Model checking in multiple imputation: an overview and case study. [PDF]
Emerg Themes Epidemiol, 2017 BackgroundMultiple imputation has become very popular as a general-purpose method for handling missing data. The validity of multiple-imputation-based analyses relies on the use of an appropriate model to impute the missing values. Despite the widespread
Nguyen CD, Carlin JB, Lee KJ.
europepmc +2 more sources
Model checking usage policies [PDF]
Mathematical Structures in Computer Science, 2015 We study usage automata, a formal model for specifying policies on the usage of resources. Usage automata extend finite state automata with some additional features, parameters and guards, that improve their expressivity.
Bartoletti M +3 more
core +8 more sources
Learning Markov Decision Processes for Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao +5 more
doaj +4 more sources
Probabilistic Model Checking and Autonomy [PDF]
Annu. Rev. Control. Robotics Auton. Syst., 2021 The design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modeling and analysis.
M. Kwiatkowska, G. Norman, D. Parker
semanticscholar +1 more source