[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[tlaplus] TLA+ minimum of function/sequence
From
: Thomas Gebert <
thomasgebert@xxxxxxxxx
>
Date
: Sun, 22 Dec 2019 21:24:28 -0800 (PST)
Hello!
I am currently trying to find the minimum value in a function; is there a relatively easy way to do this in TLA+?
Also, is there a way to get the N smallest values in a function?
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
tlaplus+unsubscribe@xxxxxxxxxxxxxxxx
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/tlaplus/076e423b-fe5b-4046-a9c4-bb7077e80f01%40googlegroups.com
.
Follow-Ups
:
Re: [tlaplus] TLA+ minimum of function/sequence
From:
Stephan Merz
Prev by Date:
[tlaplus] Are there any resources on automatic test case generation using TLA+?
Next by Date:
Re: [tlaplus] TLA+ minimum of function/sequence
Previous by thread:
[tlaplus] Are there any resources on automatic test case generation using TLA+?
Next by thread:
Re: [tlaplus] TLA+ minimum of function/sequence
Index(es):
Date
Thread