Search Sciweavers | Sciweavers

3342 search results - page 10 / 669

» Automating Abstract Interpretation

131

click to vote

ATVA
2006
Springer

158views Hardware» more ATVA 2006»

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

15 years 6 months ago

Download embedded.stu.edu.cn

In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...

Hang Su, Graham Hemingway, Kai Chen, T. John Koo

claim paper

Read More »

128

click to vote

TPHOL
1994
IEEE

111views Automated Reasoning» more TPHOL 1994»

Automating Verification by Functional Abstraction at the System Level

15 years 6 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 7 months ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

101

click to vote

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

15 years 7 months ago

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

Voted

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers