En optimierande kompilator för SMV till CLP(B)

En optimierande kompilator för SMV till CLP(B)

This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal repr...

Full description

Bibliographic Details
Main Author: Asplund, Mikael
Format: Others
Language:Swedish
Published: Linköpings universitet, Institutionen för datavetenskap 2005
Subjects:
Datalogi
SMV
CLP
BDD
FSM
CTL
compiler
optimisation
variable reduction
partitioning
Computer Sciences
Datavetenskap (datalogi)
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2805

Similar Items

Similar Items