Quantitative Strongest Post

14 February 2022

Papers citing "Quantitative Strongest Post"

2 / 2 papers shown

Title
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers Linpeng Zhang Noam Zilberstein Benjamin Lucien Kaminski Alexandra Silva 14 2 0 07 Apr 2024
Weighted Programming Kevin Batz Adrian Gallus Benjamin Lucien Kaminski J. Katoen Tobias Winkler 11 13 0 15 Feb 2022