Aplikované výsledky

• 2023

  MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.: xx; DiffKemp: Static Analyser of Semantic Differences, version 0.4.0. xx. URL: https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. (Software)
  Detail

  KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: xx; 2LS: Static Analyser and Verifier, version 0.10. xx. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.