134 search results - page 1 / 27 » An International Survey of Industrial Applications of Formal... |
ZUM
1992
Springer
13 years 9 months ago
1992
Springer
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
COMPSAC
1997
IEEE
13 years 9 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
FMICS
2009
Springer
13 years 12 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
CN
2002
13 years 5 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...