Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

  1. Albert, E.
  2. Grossman, S.
  3. Rinetzky, N.
  4. Rodriguez-Nunez, C.
  5. Rubio, A.
  6. Sagiv, M.
Journal:
IEEE Transactions on Dependable and Secure Computing

ISSN: 1941-0018,  1545-5971

Year of publication: 2023

Volume: 20

Issue: 3

Pages: 2256-2273

Type: Article

DOI: 10.1109/TDSC.2022.3178836 GOOGLE SCHOLAR
Data source: Scopus