448 search results - page 43 / 90 » A Meta-Method for Formal Method Integration |
118
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
115
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
140
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
117
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
133
click to vote
IFM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...