564 search results - page 27 / 113 » Proof General: A Generic Tool for Proof Development |
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
: Bioluminescence tomography (BLT) is a new molecular imaging tool. Using a modality fusion approach, we built the first BLT prototype to combine BLI data and micro-CT images for p...
AGI
2011
12 years 11 months ago
2011
Intelligent software agents aiming for general intelligence are likely to be exceedingly complex systems and, as such, will be difficult to implement and to customize. Frameworks h...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...