1796 search results - page 83 / 360 » An Approach to Compositional Model Checking |
114
Voted
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
144
click to vote
VVEIS
2007
15 years 1 months 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...
90
Voted
ICCAD
2005
IEEE
15 years 9 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...
101
click to vote
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
89
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...