Search Sciweavers | Sciweavers

2203 search results - page 27 / 441

» Temporal Abstract Interpretation

109

Voted

CORR
2011
Springer

157views Education» more CORR 2011»

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

14 years 10 months ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

106

Voted

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

14 years 10 months ago

Download www.irccyn.ec-nantes.fr

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

claim paper

Read More »

238

Voted

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

14 years 10 months ago

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

103

Voted

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

14 years 10 months ago

Download www.di.ens.fr

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

claim paper

Read More »

101

Voted

JCS
2010

66views more JCS 2010»

Adjoining classified and unclassified information by abstract interpretation

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers