Results 1 to 10 of about 221,743 (312)
Hardware Model Checking Algorithms and Techniques
AlgorithmsDigital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers.
Gianpiero Cabodi +3 more
doaj +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 Mosig Way, Amy Tabrett
openaire +3 more sources
Optimization Procedures in Affine Model Checking
Моделирование и анализ информационных систем, 2011 Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic ...
N. O. Garanina
doaj
Classification and checking model of pedestrian crossing
Journal of Accessibility and Design for All, 2012 The requirements demanded for pedestrian crossings, as the meeting point of pedestrian and vehicle traffic, are becoming more and more numerous and to guarantee that they are understandable, employable and feasible for all people in safe and convenient ...
Luis Delgado Méndez +3 more
doaj +1 more source
Regular Model Checking Upside-Down: An Invariant-Based Approach [PDF]
Logical Methods in Computer ScienceRegular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet.
Javier Esparza +2 more
doaj +1 more source
Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks [PDF]
Mehran University Research Journal of Engineering and Technology, 2012 In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks). Model checking involves verifying a system\'s properties based on the system\'s finite state model. For varying applications
Mohsin Memon +2 more
doaj
Formal Verification of Code Conversion: A Comprehensive Survey
TechnologiesCode conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud +7 more
doaj +1 more source
Model Checking Properties on Reduced Trace Systems
Algorithms, 2014 Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system.
Antonella Santone, Gigliola Vaglini
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2002 AbstractWe survey evaluation games for first-order logic and least fixed point logics, and discuss their algorithmic complexity.
openaire +1 more source
Discriminative Model Checking [PDF]
, 2008 Model checking typically compares a system description with a formal specification, and returns either a counterexample or an affirmation of compatibility between the two descriptions. Counterexamples provide evidence to the existence of an error, but it can still be very difficult to understand what is the cause for that error.
Peter Niebert +2 more
openaire +1 more source