Efficient Verification of Optimized Code: Correct High-Speed X25519

Autor: Schoolderman, M.R., Moerman, J.S., Smetsers, J.E.W., Eekelen, M. van, Dutle, A., Moscato, M.M., Titolo, L., Muñoz, C.A., Perez, I.

Publikováno v: Dutle, A.; Moscato, M.M.; Titolo, L. (ed.), NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings, 304-321. Cham : Springer International Publishing
STARTPAGE=304;ENDPAGE=321;ISSN=0302-9743;TITLE=Dutle, A.; Moscato, M.M.; Titolo, L. (ed.), NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f363926e8535361fbefc4c08e27f5894
https://hdl.handle.net/2066/233888

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

Autor: Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.

Publikováno v: Lect. Notes Comput. Sci. 2009;5503:155-170
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations, i.e., particular combinations of the atomic transition

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::24009230f631746f471e870ea3e5d329

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.