3 search results - page 1 / 1 » Actively Learning to Verify Safety for FIFO Automata |
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
FM
2003
Springer
13 years 10 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...