Search Sciweavers | Sciweavers

1724 search results - page 26 / 345

» Abstract Interpreters for Free

127

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

15 years 2 hour ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

120

Voted

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

14 years 12 months ago

Download www.irccyn.ec-nantes.fr

Loïc Paulevé, Morgan Magnin, Olivier R...

claim paper

Read More »

272

click to vote

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

14 years 12 months ago

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

123

click to vote

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

14 years 12 months ago

Download www.di.ens.fr

Julien Bertrane, Patrick Cousot, Radhia Cousot, J&...

claim paper

Read More »

112

Voted

JCS
2010

66views more JCS 2010»

Adjoining classified and unclassified information by abstract interpretation

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers