3256 search results - page 138 / 652 » Applications of Formal Methods to System Design and Verifica... |
136
Voted
SAFECOMP
2007
Springer
15 years 10 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...
140
Voted
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
156
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
149
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
139
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...