3468 search results - page 622 / 694 » An open logical framework |
CAV
2009
Springer
14 years 22 days ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
DEXAW
2007
IEEE
14 years 20 days ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
EMNETS
2007
14 years 20 days ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
ITP
2010
14 years 19 days ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
ATVA
2004
Springer
14 years 15 days ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...