Search Sciweavers | Sciweavers

3931 search results - page 36 / 787

» Separation logic and abstraction

click to vote

CAV
2007
Springer

159views Hardware» more CAV 2007»

Boolean Abstraction for Temporal Logic Satisfiability

16 years 11 days ago

Download www.schuppan.de

Alessandro Cimatti, Marco Roveri, Viktor Schuppan,...

claim paper

Read More »

129

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 10 days ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

132

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 9 days ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

133

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

16 years 6 days ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

137

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers