Aplikované výsledky

• 2022

  HARMIM, D.; VOJNAR, T.: xx; Atomer: Atomicity Violations Analyser, Version 2.0. xx. URL: https://github.com/harmim/infer/releases/tag/atomer-v2.0.0. (Software)
  Detail

• 2020

  HARMIM, D.; VOJNAR, T.: xx; Atomer: Atomicity Violations Analyser, Version 1.0. xx. URL: https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz. (Software)
  Detail

• 2019

  MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: xx; VeriFIT Static Analysis Plugins. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.