Search Sciweavers | Sciweavers

2203 search results - page 27 / 441

» Temporal Abstract Interpretation

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

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

13 years 4 months ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

click to vote

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

13 years 4 months ago

Download www.irccyn.ec-nantes.fr

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

claim paper

Read More »

click to vote

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

13 years 4 months ago

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

click to vote

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

13 years 4 months ago

Download www.di.ens.fr

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

claim paper

Read More »

click to vote

JCS
2010

66views more JCS 2010»

Adjoining classified and unclassified information by abstract interpretation

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers