453 search results - page 63 / 91 » Using Symbolic Simulation for Bounded Property Checking |
104
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
Graph pattern matching is often defined in terms of subgraph isomorphism, an np-complete problem. To lower its complexity, various extensions of graph simulation have been consid...
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
FOCS
2005
IEEE
15 years 5 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
114
Voted
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
66
Voted
ISI
2006
Springer
14 years 11 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...