Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

TACAS
2000
Springer

favoriteEmaildiscussreport

134views Algorithms» more TACAS 2000»

Integrating Low Level Symmetries into Reachability Analysis

13 years 8 months ago

Integrating Low Level Symmetries into Reachability Analysis

Download wwwteo.informatik.uni-rostock.de

We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. The third one works always fast but does not always yield perfect reduction.

Karsten Schmidt 0004

Real-time Traffic

Algorithms | Perfect Reduction | Reachability Analysis | Symmetry Structure | TACAS 2000 |

claim paper

Related Content

» A Reachability Predicate for Analyzing LowLevel Software

» The Programmable and Configurable Low Level Vision Unit of the HERMIA Machine

» A controller testability analysis and enhancement technique

» RealTime Low Level Feature Extraction for OnBoard Robot Vision Systems

» An Interactive Attack Graph Cascade and Reachability Display

» Integral Invariant Signatures

» A Unified Framework Based on the Level Set Approach for Segmentation of Unconstrained Doub...

» Two Perceptually Motivated Strategies for Shape Classification

» Demanddriven alias analysis for C

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	TACAS
Authors	Karsten Schmidt 0004

Comments (0)