Model Checking

1 item

Browse all content with this tag

1 December 2008 Master Thesis

Comparazione degli approcci esistenti per l'estrazione automatica di specifiche

Guido Salvaneschi, Davide Giudici · Master of Science in Computer Engineering

Thesis Specification Mining Model Checking Behavioral Models