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 4 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

13 years 8 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 5 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

13 years 10 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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers