3147 search results - page 273 / 630 » Open-Source Model Checking |
109
click to vote
ASIACRYPT
2003
Springer
15 years 9 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
81
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
125
Voted
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
133
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
159
Voted
IPPS
2010
IEEE
15 years 27 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...