2282 search results - page 139 / 457 » Active property checking |
JUCS
2008
15 years 4 months ago
2008
: NASDAQ Market Velocity and Market Forces are two relatively new data products that attempt to capture market sentiment, something that was previously only observable if one was o...
158
click to vote
TMC
2008
15 years 4 months ago
2008
This paper investigates the interaction between end-to-end flow control and medium access control (MAC)-layer scheduling on wireless links. We consider a wireless network with mult...
119
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
136
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
159
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...