Symbolic computation via program transformation

DOI10.1007/978-3-030-02508-3_17OpenAlexW2806600916MaRDI QIDQ1623144

Henrich Lauko, Petr Ročkai, Jiří Barnat

Publication date: 23 November 2018

Full work available at URL: https://arxiv.org/abs/1806.03959

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• CUTE
• BLAST
• SMT-LIB
• LLVM
• KLEE
• CPAchecker
• Java PathFinder
• CBMC
• nuXmv
• Symbiotic 2
• SymDIVINE
• CIL
• jCUTE