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.
Revista:
IEEE Transactions on Dependable and Secure Computing

ISSN: 1941-0018 1545-5971

Año de publicación: 2023

Volumen: 20

Número: 3

Páginas: 2256-2273

Tipo: Artículo

DOI: 10.1109/TDSC.2022.3178836 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible