1397 search results - page 90 / 280 » On the Need for Practical Formal Methods |
FMICS
2009
Springer
14 years 28 days ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
FMCAD
2000
Springer
14 years 20 days ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
WEA
2010
Springer
14 years 3 months ago
2010
Springer
We study the problem of finding good alternative routes in road networks. We look for routes that are substantially different from the shortest path, have small stretch, and are ...