488 search results - page 21 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
108
click to vote
HYBRID
1998
Springer
15 years 3 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
120
click to vote
PASTE
1998
ACM
15 years 2 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
72
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Previous work has shown that robot navigation systems that employ an architecture based upon the idiotypic network theory of the immune system have an advantage over control techn...
91
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Previous work has shown that robot navigation systems that employ an architecture based upon the idiotypic network theory of the immune system have an advantage over control techn...
114
click to vote
NFM
2011
14 years 6 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...