4693 search results - page 500 / 939 » Verifying Hybrid Systems |
200
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
161
click to vote
WOWMOM
2000
ACM
15 years 11 months ago
2000
ACM
In order to support relatively differentiated QoS requirement over time-varying shared wireless medium with location-dependent errors, we propose in this paper a Wireless Fair Sche...
183
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
173
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
185
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...