Semantics-Based Testing for Circus
Le travail présenté dans cette thèse est une contribution aux méthodes formelles de spécification et de vérification. Les spécifications formelles sont utilisées pour décrire un logiciel, ou plus généralement un système, d'une manière mathématique sans ambiguïté. Des techniques de vérification...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
2012
|
Subjects: | |
Online Access: | http://www.theses.fr/2012PA112372/document |