Sciweavers

852 search results - page 15 / 171

» entcs 2010

41

ENTCS
2007

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

14 years 10 months ago

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

Download users.dsic.upv.es

Santiago Escobar, Catherine Meadows, José M...

claim paper

Read More »

28

ENTCS
2007

84views more ENTCS 2007»

Preface and Foreword

14 years 10 months ago

Preface and Foreword

Download content.karger.com

Byron Cook, Roberto Sebastiani

claim paper

Read More »

27

ENTCS
2007

68views more ENTCS 2007»

PVS#: Streamlined Tacticals for PVS

14 years 10 months ago

PVS#: Streamlined Tacticals for PVS

Download research.nianet.org

Florent Kirchner, César Muñoz

claim paper

Read More »

51

ENTCS
2007

86views more ENTCS 2007»

Rewrite-Based Satisfiability Procedures for Recursive Data Structures

14 years 10 months ago

Rewrite-Based Satisfiability Procedures for Recursive Data Structures

Download brenta.dit.unitn.it

Maria Paola Bonacina, Mnacho Echenim

claim paper

Read More »

35

ENTCS
2007

50views more ENTCS 2007»

Translation Templates to Support Strategy Development in PVS

14 years 10 months ago

Translation Templates to Support Strategy Development in PVS

Download groups.csail.mit.edu

Hongping Lim, Myla Archer

claim paper

Read More »

« Prev « First page 15 / 171 Last » Next »