1167 search results - page 208 / 234 » A Really Temporal Logic |
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
: IC technologies are approaching the ultimate limits of silicon in terms of channel width, power supply and speed. By approaching these limits, circuits are becoming increasingly ...
106
click to vote
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
118
click to vote
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
105
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
110
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...