Automated Predicate Abstraction for Real-Time Models

Details Automated Predicate Abstraction for Real-Time Models Automated Predicate Abstraction for Real-Time Models

2009-11-17

arxiv.org/abs/0911.3277v1

EPTCS 10, 2009, pp. 36-43

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.10.3

We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account.

Affiliated with

Also associated with

No associations

Rating

Automated Predicate Abstraction for Real-Time Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automated Predicate Abstraction for Real-Time Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated Predicate Abstraction for Real-Time Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-650570