Results 41 to 50 of about 3,818 (217)
, 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 limit result known also as fast simulation.
BORTOLUSSI, LUCA, J. Hillston
openaire +6 more sources
Model Checking Based Approach for Compliance Checking
Information Technology and Control, 2019 Process mining is the set of techniques to retrieve a process model starting from available logging data. The discovered process model has to be analyzed to verify it respects the defined properties, i.e., the so-called compliance checking. Our aim is to use a model checking based approach to verify compliance.
Martinelli F. +5 more
openaire +5 more sources
Real-Time Model-Checking: Parameters everywhere [PDF]
Logical Methods in Computer Science, 2007 In this paper, we study the model-checking and parameter synthesis problems of the logic TCTL over discrete-timed automata where parameters are allowed both in the model (timed automaton) and in the property (temporal formula). Our results are as follows.
Veronique Bruyere, Jean-Francois Raskin
doaj +1 more source
Mathematics, 2023 Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks.
Xiling Luo
doaj +1 more source
Counterexample-Preserving Reduction for Symbolic Model Checking
Journal of Applied Mathematics, 2014 The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In such reduction,
Wanwei Liu +5 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The Standards for Psychosocial Care for Children with Cancer and Their Families (“Standards”) are evidence‐based guidelines for psychosocial care in pediatric oncology. Care related to the three “Asking and Monitoring” Standards—Assessment of Psychosocial Needs, Assessment of Financial Needs, and Monitoring Neurocognitive Problems ...
Julia B. Tager +8 more
wiley +1 more source
Model-checking ecological state-transition graphs.
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 +1 more source
Global Efforts to Reduce Paediatric Cancer Care Disparities in Radiotherapy: A Decade Change
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background We present an update on the status, needs and challenges faced by paediatric imaging and radiotherapy (RT) programmes globally after a previous survey conducted by the International Atomic Energy Agency (IAEA) 10 years prior. Methods We developed and distributed a 121‐question survey to radiation oncologists, medical physicists and ...
Raymond B. Mailhot Vega +10 more
wiley +1 more source
Consistency checking of UML business model
Technological and Economic Development of Economy, 2011 Unified modelling language (UML) is often used in practice for modelling business system (BS) by various aspects. UML model of business system consists of different aspect models and their usage for information system (IS) design is related with ...
Olegas Vasilecas +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Physical rehabilitation is highly recognised in improving the quality of life of cancer survivors through prehabilitation, sequelae management and palliative care, yet its integration into routine care in Ghana has not been characterised, leading to potential gaps in service access.
Dorothy Ekua Adjabu +5 more
wiley +1 more source