Comini, Marco; Titolo, Laura; Villanueva García, Alicia(Universitat Politècnica de València, 2014-02-15)
Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...
Comini, Marco; Titolo, Laura; Villanueva García, Alicia(Cambridge University Press, 2014-07)
[EN] Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the ...
Comini, Marco; Titolo, Laura; Villanueva García, Alicia(Cambridge University Press, 2011)
The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...
Ballis, Demis(Universitat Politècnica de València, 2008-05-07)
The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly ...