519 search results - page 20 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
PTS
2000
13 years 9 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
BIOCOMP
2006
13 years 9 months ago
2006
Previous studies have shown that the quantification of volumetric blood flow from a color Doppler image (CDI) is a feasible approach to eliminate technical obstacles in the tradit...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
SCAI
2008
13 years 9 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
FAC
2007
13 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...