|Home \ Publications \ InProceedings Page||Login|
Towards the Verification of Adaptable ProcessesAbstract:
In prior work, with the aim of formally modeling and analyzing the behavior of concurrent processes with forms of dynamic evolution, we have proposed a process calculus of adaptable processes. Our proposal addressed the (un)decidability of two safety properties related to error occurrence.
@ Proceedings of ISoLA'12: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Publisher: Springer-Verlag ( Germany )
Date: October, 2012