24 search results - page 3 / 5 » fmcad 2009 |
FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland
FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs
FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...