3256 search results - page 56 / 652 » Applications of Formal Methods to System Design and Verifica... |
127
Voted
ENTCS
2006
15 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...
152
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
128
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
143
click to vote
FORTE
1998
15 years 6 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
128
click to vote
SAFECOMP
2004
Springer
15 years 10 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...