1108 search results - page 140 / 222 » Model Checking of Safety Properties |
120
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
115
Voted
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
115
click to vote
DAC
2003
ACM
15 years 8 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
115
click to vote
CORR
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...
142
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...