Search Sciweavers | Sciweavers

1914 search results - page 1 / 383

» Verification by Abstract Interpretation

click to vote

TOPLAS
2008

138views more TOPLAS 2008»

Decomposing bytecode verification by abstract interpretation

13 years 10 months ago

Download www.iet.unipi.it

act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...

Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...

claim paper

Read More »

click to vote

AMAST
2006
Springer

124views Software Engineering» more AMAST 2006»

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

14 years 2 months ago

Download pop-art.inrialpes.fr

Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J

Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...

claim paper

Read More »

click to vote

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

13 years 12 months ago

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

14 years 4 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers