7 search results - page 2 / 2 » A BDD-Like Implementation of an Automata Package |
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
WSC
2001
13 years 6 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...