- Tytuł:
- Controlling Polyvariance for Specialization-based Verification
- Autorzy:
-
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V. - Data publikacji:
- 2013
- Słowa kluczowe:
-
constraint logic programming
generalization
polyvariance
program specialization
unfold/fold transformation
verification of infinite state reactive systems - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł