1541 search results - page 54 / 309 » Tools and Techniques for Model Checking Networked Programs |
96
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
MICAI
2005
Springer
15 years 6 months ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
102
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
122
click to vote
ENTCS
2008
15 years 18 days ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
112
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...