1463 search results - page 119 / 293 » Model Checking Implicit-Invocation Systems |
108
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
122
click to vote
ISIM
2007
15 years 3 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
166
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
102
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
97
Voted
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...