4047 search results - page 682 / 810 » Algebraic Model Checking |
122
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
144
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
204
Voted
ICDT
2009
ACM
16 years 3 months ago
2009
ACM
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
101
click to vote
PDP
2010
IEEE
15 years 9 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
118
Voted
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...