114 search results - page 9 / 23 » PVS: A Prototype Verification System |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
DEBU
2008
13 years 7 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
RSP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
KPN Research has developed an all-purpose check recognition system for the Dutch Postbank. This Image Recognition and Interpretation System (IRIS) is the result of more than thirt...