Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] paper discuss the implementation of temporal l...

view this post on Zulip Email Gateway (Aug 18 2022 at 19:58):

From: Abdullah <mr.ab15@gmail.com>
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,

view this post on Zulip Email Gateway (Aug 18 2022 at 19:58):

From: Stephan Merz <Stephan.Merz@loria.fr>
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.

Best regards,

Stephan Merz

Last updated: Apr 18 2024 at 16:19 UTC