382 search results - page 1 / 77 » Checking Interval Based Properties for Reactive Systems |
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
MEMOCODE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
QEST
2006
IEEE
13 years 11 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
SIGPLAN
2002
13 years 5 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...