FM 2001 | Sciweavers

click to vote

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

13 years 9 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

click to vote

FM
2001
Springer

108views Formal Methods» more FM 2001»

Improvements in BDD-Based Reachability Analysis of Timed Automata

13 years 9 months ago

Download www.sosy-lab.org

To develop eﬃcient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...

Dirk Beyer

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers