Re: [isabelle] paper discuss the implementation of temporal logic in isabelle
You may be interested in http://afp.sourceforge.net/entries/TLA.shtml, which develops an encoding of a variant of linear-time temporal logic in Isabelle/HOL. Depending on what you want to do, you will need to decide on whether you want a shallow or deep encoding of the temporal logic you are interested in.
On May 29, 2012, at 3:31 PM, Abdullah wrote:
> Dear All
> I am looking for paper(s) talk about of temporal logic with isabelle,
> if you know please send to me the title of paper or link if it
> available on line.
> Best Regards,
This archive was generated by a fusion of
Pipermail (Mailman edition) and