[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Developing reusable libraries for computation tree logic?
|
From: |
Markus Elfring |
|
Subject: |
Developing reusable libraries for computation tree logic? |
|
Date: |
Mon, 11 Jul 2022 09:23:29 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 |
Hello,
It was demonstrated for some years what can be achieved also by the means of
the technology “computation tree logic with variables and witnesses”.
Will development interests eventually grow for the construction of
reusable libraries according to affected software areas?
https://github.com/coccinelle/coccinelle/issues/251
Regards,
Markus
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Developing reusable libraries for computation tree logic?,
Markus Elfring <=