Search Sciweavers | Sciweavers

4036 search results - page 88 / 808

» Formal Methods

123

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 10 months ago

Download www.tik.ee.ethz.ch

Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...

claim paper

Read More »

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 10 months ago

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

133

click to vote

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

15 years 10 months ago

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

click to vote

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

15 years 10 months ago

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

124

click to vote

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers