60 search results - page 3 / 12 » HOL Light: An Overview |
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
ICRA
2003
IEEE
14 years 4 months ago
2003
IEEE
COMPSAC
2008
IEEE
14 years 5 months ago
2008
IEEE
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
CLEF
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The general photographic ad-hoc retrieval task of the ImageCLEF 2007 evaluation campaign is described. This task provides both the resources and the framework necessary t...
AGILEDC
2007
IEEE
14 years 5 months ago
2007
IEEE
BT, as part of its Agile transformation, has widened its Agile footprint into the demand-side of its business. This is being achieved by using Agile techniques in a forum called a...