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

ISSN: 1941-0018,  1545-5971

Année de publication: 2023

Volumen: 20

Número: 3

Pages: 2256-2273

Type: Article

DOI: 10.1109/TDSC.2022.3178836 GOOGLE SCHOLAR

Objectifs de Développement Durable

La source de données: Scopus