448 search results - page 4 / 90 » A Meta-Method for Formal Method Integration |
CAV
2004
Springer
15 years 5 months ago
2004
Springer
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
FM
2008
Springer
15 years 1 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
AUSAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
IFM
2004
Springer
15 years 5 months ago
2004
Springer
