[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?



Hello researchers!

Relying on the fact that this forum is inhabited with inventors of TLA+, I would really like
to know the answer.

Thanks.