1219 search results - page 114 / 244 » Verification of Equivalent-Results Methods |
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
117
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
186
Voted
HCI
2011
14 years 7 months ago
2011
In this paper, a method for estimating the pen tip position of customized haptic device attachments is presented. Least squares sphere fitting is applied to the acquired point clou...
242
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
121
Voted
CSCWD
2009
Springer
15 years 10 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...