259 search results - page 34 / 52 » Bounded Model Checking for Timed Automata |
128
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
158
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
117
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
133
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
127
click to vote
AAAI
1992
15 years 4 months ago
1992
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...