Aplikované výsledky

• 2019

  HOLÍKOVÁ, L.; JANKŮ, P.: PICoSo: An SMT Solver for String Constraints. URL: https://www.fit.vut.cz/research/product/620/. (Software)
  Detail

• 2018

  HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: Sloth: An SMT Solver for String Constraints. URL: https://www.fit.vut.cz/research/product/563/. (Software)
  Detail

• 2017

  FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: Gaston - Symbolic WS1S Solver. URL: https://www.fit.vut.cz/research/product/511/. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.