[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Why TLA+ is based on explicit state model-checking instead of symbolic one?
From
: Evgeniy Shishkin <
evgeniy....@xxxxxxxxx
>
Date
: Wed, 4 Jul 2018 01:24:58 -0700 (PDT)
Hello researchers!
Relying on the fact that this forum is inhabited with inventors of TLA+, I would really like
to know the answer.
Thanks.
Follow-Ups
:
Re: Why TLA+ is based on explicit state model-checking instead of symbolic one?
From:
Igor Konnov
Re: [tlaplus] Why TLA+ is based on explicit state model-checking instead of symbolic one?
From:
Stephan Merz
Prev by Date:
Re: [tlaplus] Re: Different behaviour of RandomElement during model checking and simulation mode
Next by Date:
Re: [tlaplus] Why TLA+ is based on explicit state model-checking instead of symbolic one?
Previous by thread:
Re: [tlaplus] Re: Different behaviour of RandomElement during model checking and simulation mode
Next by thread:
Re: [tlaplus] Why TLA+ is based on explicit state model-checking instead of symbolic one?
Index(es):
Date
Thread