2872 search results - page 196 / 575 » On (Omega-)Regular Model Checking |
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
102
click to vote
CAV
2012
Springer
13 years 1 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
INFORMATICALT
2011
14 years 6 months ago
2011
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...
115
click to vote
VLSID
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...