Search Results - "Kejstová, Katarína"

Reproducible execution of POSIX programs with DiOS by Ročkai, Petr, Baranová, Zuzana, Mrázek, Jan, Kejstová, Katarína, Barnat, Jiříí

“…In this paper, we describe DiOS , a lightweight model operating system, which can be used to execute programs that make use of POSIX APIs. Such executions are…”
Get full text

From Model Checking to Runtime Verification and Back by Kejstová, Katarína, Ročkai, Petr, Barnat, Jiří

“…We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to…”
Get full text

Reproducible Execution of POSIX Programs with DiOS by Ročkai, Petr, Baranová, Zuzana, Mrázek, Jan, Kejstová, Katarína, Barnat, Jiří

“…In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are…”
Get full text