Skip to main content

1 Result(s)

within Vojtěch Havel Remove this filter Algorithm Analysis and Problem Complexity Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    LTL Model Checking of LLVM Bitcode with Symbolic Data

    The correctness of parallel and reactive programs is often easier specified using formulae of temporal logics. Yet verifying that a system satisfies such specifications is more difficult than verifying safety ...

    Petr Bauch, Vojtěch Havel, Jiří Barnat in Mathematical and Engineering Methods in Co… (2014)