[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] LTL axiomatic system

From: Ioannis Filippidis <jfili...@xxxxxxxxx>
Date: Sun, 25 Sep 2016 12:58:09 -0700 (PDT)
References: <6cd22891-fce5-42bb-9b3f-6deabee2d75e@googlegroups.com> <e80b10af-35dc-4337-84ed-186a474596ae@googlegroups.com> <4eff8892-9996-47ed-863b-3210efceb325@googlegroups.com> <96DDACD8-94BD-46BE-B90F-B33AAAA115DE@gmail.com> <c0d2f756-164e-497e-baa0-7bf29bbac42a@googlegroups.com> <965BF6AF-9241-4ACF-BE09-63C10CD8544B@gmail.com> <dd1defda-329c-49bd-875c-f994e119779b@googlegroups.com>

On Monday, August 15, 2016 at 10:29:30 AM UTC-7, fl wrote:

LS4 is no longer available apparently.

--
FL

Hi FL,

The temporal logic prover `ls4` is available at [1].

[1] https://github.com/quickbeam123/ls4

Ioannis

Follow-Ups:
- Re: [tlaplus] LTL axiomatic system
  - From: fl

References:
- LTL axiomatic system
  - From: fl
- Re: LTL axiomatic system
  - From: ka...@xxxxxxxxxxxxxxx
- Re: LTL axiomatic system
  - From: fl
- Re: [tlaplus] LTL axiomatic system
  - From: Stephan Merz
- Re: [tlaplus] LTL axiomatic system
  - From: fl
- Re: [tlaplus] LTL axiomatic system
  - From: Stephan Merz
- Re: [tlaplus] LTL axiomatic system
  - From: fl

Prev by Date: Standards and TLAPLUS
Next by Date: Re: [tlaplus] LTL axiomatic system
Previous by thread: Re: [tlaplus] LTL axiomatic system
Next by thread: Re: [tlaplus] LTL axiomatic system
Index(es):
- Date
- Thread