- -

AMC - Tool support for automating Model Checking Lifecycle

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

AMC - Tool support for automating Model Checking Lifecycle

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: AMC - Tool support for automating Model Checking Lifecycle
Autor:
Director(es): Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha acto/lectura:
2013-04-24
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Model checking , Formal methods , Clock synchronization , Data visualization
Derechos de uso: Reserva de todos los derechos
Titulación: Ingeniería Informática-Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem