Showing results (1-10 of 4) with videos related to
Sort By:
Pageof 1
Formal Methods in System Design|February 28, 2020
Empirical software metrics for benchmarking of verification toolsYulia Demyanova, Thomas Pani, Helmut Veith, et al.Journal of Automated Reasoning|August 3, 2018
Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsMoritz Sinn, Florian Zuleger, Helmut VeithFormal Methods in System Design|February 4, 2020
Para : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsIgor Konnov, Marijana Lazić, Helmut Veith, et al.Distributed Computing|July 2, 2019
Parameterized model checking of rendezvous systemsBenjamin Aminof, Tomer Kotek, Sasha Rubin, et al.Pageof 1