Sciweavers

6960 search results - page 165 / 1392

» Continuity Analysis of Programs

107

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 8 months ago

Scalable Analysis of Linear Systems Using Mathematical Programming

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

93

Voted

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 8 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

100

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

15 years 8 months ago

Causality analysis of synchronous programs with delayed actions

Download rsg.informatik.uni-kl.de

Klaus Schneider, Jens Brandt, Tobias Schüle

claim paper

Read More »

101

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

15 years 8 months ago

Formal Analysis of Java Programs in JavaFAN

Download formal.cs.uiuc.edu

Azadeh Farzan, Feng Chen, José Meseguer, Gr...

claim paper

Read More »

115

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

15 years 8 months ago

Static Program Analysis via 3-Valued Logic

Download www.cs.wisc.edu

This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...

Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

claim paper

Read More »

« Prev « First page 165 / 1392 Last » Next »