Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Bibliographic Details
Main Author: Kafle, Bishoksan (author)
Format: masterThesis
Language:eng
Published: 2012
Subjects:
Worst Case Execution Time (WCET)
Constraint solving
Model checking
Static analysis
Online Access:http://hdl.handle.net/10362/7968
Country:Portugal
Oai:oai:run.unl.pt:10362/7968

Internet

http://hdl.handle.net/10362/7968

Similar Items