Abstract: In this paper, we present AutoGSTE, a comprehensive approach to automatic abstraction refinement for generalized symbolic trajectory evaluation (GSTE). This approach addresses imprecision of ...

Abstract: In this paper a software is described, which was made with the purpose to determines the systems behaviour in which many centrifugal pumps are involved operating in parallel. The software ...

dataSDA collects a diverse range of symbolic data and offers a comprehensive set of functions that facilitate the conversion of traditional data into the symbolic data format. It supports reading, ...

And git-lfs for versioning large files. LyX for writing documents. In addition, each project may use other specialized tools. For the working example in this template, install: For instance, the code ...

The swastika is a symbol that was used in the 20th century by of one of the most hated men ever to have lived, a symbol that now represents the slaughter of millions of people and one of the most ...