Sciweavers

1914 search results - page 28 / 383

» Verification by Abstract Interpretation

155

CL
2011
Springer

260views Automated Reasoning» more CL 2011»

Widening and narrowing operators for abstract interpretation

14 years 7 months ago

Widening and narrowing operators for abstract interpretation

Download www.dsi.unive.it

Agostino Cortesi, Matteo Zanioli

claim paper

Read More »

83

Voted

CORR
2011
Springer

157views Education» more CORR 2011»

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

14 years 7 months ago

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

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

79

Voted

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

14 years 7 months ago

Abstract Interpretation of Dynamics of Biological Regulatory Networks

Download www.irccyn.ec-nantes.fr

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

claim paper

Read More »

199

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

14 years 7 months ago

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

79

Voted

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

14 years 7 months ago

Static analysis by abstract interpretation of embedded critical software

Download www.di.ens.fr

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

claim paper

Read More »

« Prev « First page 28 / 383 Last » Next »