A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness

Details A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness

2010-11-18

arxiv.org/abs/1011.4214v2

Computer Science

Logic in Computer Science

Scientific paper

We identify a subtle error in LTL formulas reduction method used as one
optimization step in an LTL to B\"uchi automata translation. The error led to
some incorrect answers of the established model checker DiVinE. This paper
should help authors of other model checkers to avoid this error.

Affiliated with

Also associated with

No associations

Rating

A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness 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 A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-537005