Search Sciweavers | Sciweavers

12981 search results - page 111 / 2597

» Model Checking (Abstract)

click to vote

CADE
2004
Springer

155views Logical Reasoning» more CADE 2004»

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

15 years 10 months ago

Download types2004.lri.fr

Gilles Barthe, Jan Cederquist, Sabrina Tarento

claim paper

Read More »

click to vote

SPIN
2009
Springer

119views Theoretical Computer Science» more SPIN 2009»

Identifying Modeling Errors in Signatures by Model Checking

15 years 4 months ago

Download spinroot.com

: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...

Sebastian Schmerl, Michael Vogel, Hartmut Kön...

claim paper

Read More »

click to vote

CAV
2006
Springer

165views Hardware» more CAV 2006»

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study

15 years 1 months ago

Download www.cis.upenn.edu

Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

128

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

15 years 10 months ago