software specification language supports infinite data words, a theoretical and practical limitation of existing specification l

13 Sep 2022, 08:10
https://t.co/IouQK63crg's software specification language supports infinite data words, a theoretical and practical limitation of existing specification languages and one reason for the insufficient expressiveness of existing specification languages. 👇