47 search results - page 3 / 10 » Seamless formal verification of complex event processing app... |
HASE
2008
IEEE
13 years 5 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
ENTCS
2006
13 years 5 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
FORTE
2010
13 years 6 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
ENTCS
2008
13 years 5 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
TOSEM
1998
13 years 4 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...