504 search results - page 44 / 101 » Explaining Verification Conditions |
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— The presence of an area with low visibility conditions is a relevant information for autonomous vehicle as far as environment sensing is important regarding safety. In ...
ASWEC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
WADT
1998
Springer
14 years 1 days ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
WSC
2008
13 years 10 months ago
2008
The what-if analysis process is essential in symbiotic simulation systems. It is responsible for creating a number of alternative what-if scenarios and evaluating their performanc...