228
click to vote
ATVA
10 years 1 months ago
2015 Springer 
The reachability problem is one of the most important issues in the verification of hybrid systems. Computing the reachable sets of differential equations is difficult, although c...
160
click to vote
ATVA
10 years 1 months ago
2015 Springer 
Runtime verification and model checking are two important methods for assessing correctness of systems. In both techniques, detecting an error is witnessed by an execution that vi...
145
click to vote
ATVA
10 years 1 months ago
2015 Springer
Abstract Infinite games with imperfect information tend to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is ...
142
click to vote
ATVA
10 years 1 months ago
2015 Springer 
Abstract. Using game semantics, we investigate the problem of verifying contextual equivalences in Interface Middleweight Java (IMJ), an imperative object calculus in which program...
141
click to vote
ATVA
10 years 1 months ago
2015 Springer 
Combinatorial test design (CTD) is an effective test design technique, considered to be a testing best practice. CTD provides automatic test plan generation, but it requires a man...
|
Hardware