5525 search results - page 187 / 1105 » Verification of Model Transformations |
130
Voted
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
158
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
117
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
109
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
133
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...