4340 search results - page 59 / 868 » Formal Methods and Cryptography |
111
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
15 years 9 months ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
122
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
135
Voted
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 9 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
133
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
135
Voted
ICIW
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...