Search Sciweavers | Sciweavers

412 search results - page 2 / 83

» Modelling Metamorphism by Abstract Interpretation

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 4 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

14 years 4 months ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

14 years 2 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

14 years 2 months ago

Download www.cs.uni-paderborn.de

Fabio Gadducci, Reiko Heckel, Manuel Koch

claim paper

Read More »

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers