3256 search results - page 16 / 652 » Applications of Formal Methods to System Design and Verifica... |
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
60
Voted
FMSD
1998
14 years 9 months ago
1998
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
83
Voted
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
FMAM
2010
14 years 7 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...