172 search results - page 2 / 35 » Testing Reactive Probabilistic Processes |
QEST
2006
IEEE
13 years 11 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
— We present here an original approach to test the feasibility of footsteps for a given walking pattern generator. It is based on a new approximation algorithm intended to cope w...
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
CONCUR
2009
Springer
13 years 12 months ago
2009
Springer
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
