Login / Signup

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.

Linpeng ZhangNoam ZilbersteinBenjamin Lucien KaminskiAlexandra Silva
Published in: CoRR (2024)
Keyphrases
  • qualitative and quantitative
  • multiscale
  • user interface
  • neural network
  • machine learning
  • search engine
  • image processing
  • digital libraries
  • multiresolution
  • first order logic