Analyzing spreadsheets for parallel execution via model checking

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)

Abstrakt

In this paper we briefly report on work in the Popular Parallel Programming (P3) project where we follow in the footsteps of Bernhard Steffen using the idea of program analysis via model checking and abstract interpretation. The programs we analyze are spreadsheet programs, which for long have been identified as an ideal programming model for parallel execution. We translate spreadsheet programs into Timed Automata Models, which may be analyzed by the Uppaal model checker and its derivatives, with the purpose of finding schedules for parallel execution. In this paper we mainly focus on the techniques and scalability issues of various variants of Uppaal, but also report briefly on the performance results achieved through the parallelization.

OriginalsprogEngelsk
TitelModels, Mindsets, Meta: The What, the How, and the Why Not?
Antal sider9
ForlagSpringer
Publikationsdato2019
Sider27-35
ISBN (Trykt)978-3-030-22347-2
ISBN (Elektronisk)978-3-030-22348-9
DOI
StatusUdgivet - 2019
NavnLecture Notes in Computer Science
Vol/bind11200
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'Analyzing spreadsheets for parallel execution via model checking'. Sammen danner de et unikt fingeraftryk.

  • Citationsformater

    Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B., & Thomsen, L. L. (2019). Analyzing spreadsheets for parallel execution via model checking. I Models, Mindsets, Meta: The What, the How, and the Why Not? (s. 27-35). Springer. Lecture Notes in Computer Science, Bind. 11200 https://doi.org/10.1007/978-3-030-22348-9_3