2872 search results - page 108 / 575 » On (Omega-)Regular Model Checking |
128
click to vote
VVEIS
2007
15 years 6 days ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
MEMOCODE
2007
IEEE
15 years 5 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
KBSE
2003
IEEE
15 years 4 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
108
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
80
Voted
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...