Searched for: contributor%3A%22Pawe%C5%82czak%2C+Przemys%C5%82aw+%28graduation+committee%29%22
(1 - 1 of 1)
document
Brandirali, Tommaso (author)
Large software systems today require increasingly complex models of their execution to aid the analysis of their behavior. Such execution models are impractical to compile by hand, and current approaches to their automated generation are either not generalizable or not scalable enough. This paper addresses this problem with a new approach based...
bachelor thesis 2021