3765 search results - page 425 / 753 » Formal Methods for Systems Engineering Behavior Models |
155
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
186
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
204
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
172
click to vote
RSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
215
click to vote
ALIFE
2006
15 years 6 months ago
2006
Visualization has an increasingly important role to play in scientific research. Moreover, visualization has a special role to play within artificial life as a result of the inform...