Results 31 to 40 of about 21,783,491 (356)
Model checking C++ programs [PDF]
Software Testing, Verification and Reliability, 2021 SummaryIn the last three decades, memory safety issues in system programming languages such as C or C++ have been one of the most significant sources of security vulnerabilities. However, there exist only a few attempts with limited success to cope with the complexity of C++ program verification.
Monteiro, Felipe R. +2 more
openaire +4 more sources
A Layered and Parallelized Method of Eventual Model Checking
Information, 2023 Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties.
Yati Phyo +3 more
doaj +1 more source
Automated Rule Checking for MEP Systems Based on BIM and KBMS
Buildings, 2022 Due to the growing complexity of mechanical, electrical, and plumbing (MEP) designs and the rules that govern them, performing rule checks manually has become expensive.
Xuanfeng Xie +5 more
doaj +1 more source
Model checking for weakly consistent libraries
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2019 We present GenMC, a model checking algorithm for concurrent programs that is parametric in the choice of memory model and can be used for verifying clients of concurrent libraries.
Michalis Kokologiannakis +2 more
semanticscholar +1 more source
Data in Brief, 2018 This data article describes how the Dig It Check It (DICI) model operates. The purpose of the DICI model is to assess the effectiveness of a specified subsurface sampling program in the detection of archaeological sites (Way and Tabrett, in press) [1].
Amy Tabrett, Amy Mosig Way
openaire +4 more sources
A MODEL OF CHECK EXCHANGE [PDF]
Working paper (Federal Reserve Bank of Philadelphia), 1997 The authors construct and simulate a model of check exchange to examine the incentives a bank (or a bank clearinghouse) has to engage in practices that limit access to its payment facilities, in particular delaying the availability of check payment. The potentially disadvantaged bank has the option of directly presenting checks to the first bank.
James J. McAndrews, William Roberds
openaire +2 more sources
, 2000 We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings.
Bouajjani, Ahmed +3 more
openaire +3 more sources
Advancing verification of process mining models with quantitative model checking in stochastic environment [PDF]
ITM Web of ConferencesThe 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
Towards Light-Weight Probabilistic Model Checking
Journal of Applied Mathematics, 2014 Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Savas Konur
doaj +1 more source
, 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