Nils Timm

Available identifiers

zbMath Open timm.nilsMaRDI QIDQ832015

List of research outcomes

Publication	Date of Publication	Type
Constraint reusing and \(k\)-induction for three-valued bounded model checking	2023-08-02	Paper
Model checking of concurrent software systems via heuristic-guided SAT solving	2022-11-04	Paper
Model checking and strategy synthesis for multi-agent systems for resource allocation	2022-07-13	Paper
Spotlight abstraction in model checking real-time task schedulability	2022-03-24	Paper
A bounded model checker for three-valued abstractions of concurrent software systems	2018-09-27	Paper
Parameterisation of Three-Valued Abstractions	2016-04-01	Paper
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking	2016-04-01	Paper

Research outcomes over time

This page was built for person: Nils Timm