1356 search results - page 186 / 272 » The ideal of verified software |
150
click to vote
CISIS
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper, a flexible middleware system for omni-directional video transmission for various teleconferencing applications is introduced. The omni-directional image has more ad...
150
click to vote
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
168
click to vote
TASE
2007
IEEE
16 years 17 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
180
click to vote
B
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
163
click to vote
B
2007
Springer
16 years 14 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...