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

Ano de publicación: 2023

Volume: 20

Número: 3

Páxinas: 2256-2273

Tipo: Artigo

DOI: 10.1109/TDSC.2022.3178836 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus