3552 search results - page 412 / 711 » Proof theory in the abstract |
139
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
- This paper introduces a new approach to identify singularities of planar parallel manipulators (PPMs). This method is based on Maxwell’s reciprocal figure theory which establis...
182
click to vote
SIGSOFT
2006
ACM
16 years 21 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
163
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
160
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
197
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...