4036 search results - page 502 / 808 » Formal Methods |
183
click to vote
CAV
2004
Springer
16 years 2 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
152
click to vote
FMCAD
2004
Springer
16 years 1 days ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
172
click to vote
FMCAD
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
180
click to vote
FMCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
173
click to vote
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...