Results 41 to 50 of about 221,743 (312)

Advancing verification of process mining models with quantitative model checking in stochastic environment [PDF]

ITM Web of Conferences
The study of business process analysis and optimization has attracted significant scholarly interest in the recent past, due to its integral role in boosting organizational performance.
Mangi Fawad Ali, Su Guoxin, Zhang Minjie
doaj   +1 more source

Efficient CSL Model Checking Using Stratification [PDF]

Logical Methods in Computer Science, 2012
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996.
Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns   +3 more
doaj   +1 more source

Model Checking a Temporal Logic via Program Verification [PDF]

, 2023
openThe thesis explores the possibility of viewing Model Checking as an instance of program verification in order to allow for the reuse of the vast theory and toolset of Abstract Interpretation in the setting of Model Checking.
RIGO, DILETTA
core  

Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]

, 2009
We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D., Parker, David, Norman, G., Norman, Gethin, Wu, P., Palamidessi, C., Palamidessi, Catuscia, Wu, Peng   +7 more
core   +1 more source

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., Mercaldo F., Nardone V., Orlando A., Santone A., Vaglini G.   +5 more
openaire   +5 more sources

A Model Checking Approach for Verifying COWS Specifications [PDF]

, 2008
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS.
Tiezzi, F., R. Pugliese, A. Lapadula, A. Fantechi, Gnesi, Stefania, Pugliese, Rosario, Tiezzi, Francesco, S. Gnesi, Mazzanti, Franco, F. Mazzanti, Lapadula, Alessandro, Fantechi, Alessandro   +11 more
core   +1 more source

BIM-Based Checking Method for the Mass Timber Industry

Buildings, 2023
Since the 1990s, mass timber constructions have become more and more popular. This type of construction has characteristics that are ideal for incorporating building information modeling (BIM).
Chloé Paskoff, Conrad Boton, Pierre Blanchet   +2 more
doaj   +1 more source

Fluid Model Checking

, 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   +5 more sources

Improvements to the Implementation of Interpolant-Based Model Checking

, 2005
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking~(BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the
Marques-Silva, Joao, João Marques-Silva
core   +1 more source

Genetic Programming with Fitness based on Model Checking [PDF]

, 2007
Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour.
Colin G. Johnson, Johnson, Colin G.
core   +1 more source