Search Sciweavers | Sciweavers

2687 search results - page 9 / 538

» Formal Analysis of PKCS

click to vote

SAS
2004
Springer

239views Formal Methods» more SAS 2004»

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

14 years 4 months ago

Download impact.crhc.illinois.edu

Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu

claim paper

Read More »

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

14 years 4 months ago

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

14 years 3 months ago

Download www.cs.berkeley.edu

Jörg Preußig, Stefan Kowalewski, Howard...

claim paper

Read More »

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

14 years 3 months ago

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers