Lightweight and static verification of uml executable models
Tesis doctoral de Elena Planas Hortal Executable models play a key role in many development methods (such as mdd and […]
Tesis doctoral de Robert Clariso Viladrosa
Información academica Robert Clariso Viladrosa. Tesis donde Robert Clariso Viladrosa ha sido autor, director o parte del tribunal.
The way of the lazy
Tesis doctoral de Marc Solé Simó This phd belongs to the field of formal verification. Formal verification uses mathematical reasoning
Abstract interpretation techniques for the verification of timed systems
Tesis doctoral de Robert Clariso Viladrosa En muchos sistemas, la corrección se puede decidir comparando las respuestas a eventos del