[Spot] Generate Words for verification

hashim ali hashim_ali94 at outlook.com
Mon Mar 25 13:24:43 CET 2019

I am using


to translate LTL rules into a finite automata (with alive property). Now I want to verify certain words that whether they are accepted by the automata or not.  These words will be generated from a powerset of the set of atomic propositions. Lets suppose I have AP = {a,b,c,d}. How do I generate words from the powerset of AP and verify it on the automata. Should the word always contain a cycle and a prefix part. If yes, what should be the cycle part and what should be the prefix part.

I will be waiting for your response.

Thanks and Regards,

Hashim Ali

Research Assistant

Laboratory for Cyber-Physical Networks and Systems (Cyphynets)

Lahore University of Management Sciences (LUMS)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lrde.epita.fr/pipermail/spot/attachments/20190325/a590be2d/attachment.html>

More information about the Spot mailing list