- -

AMC - Tool support for automating Model Checking Lifecycle

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

AMC - Tool support for automating Model Checking Lifecycle

Show full item record

López Pons, LE. (2013). AMC - Tool support for automating Model Checking Lifecycle. http://hdl.handle.net/10251/28276.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/28276

Files in this item

Item Metadata

Title: AMC - Tool support for automating Model Checking Lifecycle
Author:
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Read date / Event date:
2013-04-24
Issued date:
Abstract:
In model checking, the most time consuming stage is oftentimes not writing the formal model (of the system to be analyzed) itself but validating the model: ensuring the correct system has been modeled, before ensuring ...[+]
Subjects: Model checking , Formal methods , Clock synchronization , Data visualization
Copyrigths: Reserva de todos los derechos
degree: Ingeniería Informática-Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

This item appears in the following Collection(s)

Show full item record