114 search results - page 2 / 23 » Verification by Simulation Comparison using Interface Synthe... |
POPL
2005
ACM
14 years 5 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
DATE
2007
IEEE
13 years 11 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
ROBOCUP
2009
Springer
13 years 11 months ago
2009
Springer
In this article, we provide an overview of three humanoid soccer platforms currently in use at RoboCup: 3D simulation, the humanoid Standard Platform League (SPL), and the Webots-b...
EVOW
1999
Springer
13 years 9 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...