Search Sciweavers | Sciweavers

2203 search results - page 17 / 441

» Temporal Abstract Interpretation

128

click to vote

FLOPS
2004
Springer

84views Automated Reasoning» more FLOPS 2004»

Multivariant Non-failure Analysis via Standard Abstract Interpretation

15 years 11 months ago

Download www.cs.unm.edu

Francisco Bueno, Pedro López-García,...

claim paper

Read More »

119

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 11 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

127

click to vote

SAS
2004
Springer

104views Formal Methods» more SAS 2004»

Abstract Interpretation of Combinational Asynchronous Circuits

15 years 11 months ago

Download www.cl.cam.ac.uk

Sarah Thompson, Alan Mycroft

claim paper

Read More »

123

click to vote

SAS
2004
Springer

110views Formal Methods» more SAS 2004»

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

15 years 11 months ago

Download www.lsi.upc.edu

Enric Rodríguez-Carbonell, Deepak Kapur

claim paper

Read More »

128

click to vote

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers