citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
Towards the Verification of Adaptable Processes
Abstract:

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.
In order to allow for a more comprehensive verification framework for adaptable processes, the ability to express general properties is most desirable. In this paper we address this important issue: we explain how the proof techniques for (un)decidability re- sults for adaptable processes generalize to a simple yet expressive temporal logic over adaptable processes. We provide examples of the expressiveness of the logic and its significance in relation with the calculus of adaptable processes.


URL: http://www.cs.uni-potsdam.de/isola/isola2012/

@ Proceedings of ISoLA'12: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation


Publisher: Springer-Verlag ( Germany )


Date: October, 2012

Authors:

    Mario Bravetti (Universitá di Bologna), Cinzia Di Giusto (INRIA), Jorge A. Pérez, Gianluigi Zavattaro (Universitá di Bologna)
File Bottom