Search Sciweavers | Sciweavers

41

APPINF
2003

277views Information Technology» more APPINF 2003»

An XML Viewer for Tabular Forms for Use with Mechanical Documentation

13 years 9 months ago

We deal with mechanical documentation in software development tools. First, we review tabular forms for program speciﬁcation and their formal syntax by an attribute edNCE graph ...

Omasu Inoue, Kensei Tsuchida, Shin-ichi Nakagawa, ...

claim paper

Read More »

21

click to vote

AINA
2004
IEEE

112views Computer Networks» more AINA 2004»

Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus

13 years 11 months ago

Download staff.polito.it

The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...

Davide Pozza, Riccardo Sisto, Luca Durante

claim paper

Read More »

31

click to vote

CCS
2005
ACM

196views Security Privacy» more CCS 2005»

A rewriting-based inference system for the NRL protocol analyzer: grammar generation

14 years 1 months ago

Download users.dsic.upv.es

The NRL Protocol Analyzer (NPA) is a tool for the formal speciﬁcation and analysis of cryptographic protocols that has been used with great eﬀect on a number of complex real-l...

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

claim paper

Read More »

28

click to vote

ICALP
2007
Springer

105views Programming Languages» more ICALP 2007»

Conservative Ambiguity Detection in Context-Free Grammars

14 years 2 months ago

Download www.lsv.ens-cachan.fr

The ability to detect ambiguities in context-free grammars is vital for their use in several ﬁelds, but the problem is undecidable in the general case. We present a safe, conser...

Sylvain Schmitz

claim paper

Read More »

20

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

14 years 2 months ago