New 2006 Results

Test generation on enumerative and symbolic models

Controller Synthesis

Verification and Abstract Interpretation

Transversal Results


Test generation on enumerative and symbolic models

Key words: testing, test generation, models, transition systems, symbolic transition systems.

Controller Synthesis

Key words: controller synthesis methodology, Hierarchical models, symbolic methods.

haut

Verification and Abstract Interpretation

haut

Transversal Results

 

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs