A formal methods approach to predicting new features of the eukaryotic vesicle traffic system

DOI10.1007/s00236-019-00357-3MaRDI QIDQ2022307

Lakshmanan Kuppusamy, Arnab Bhattacharyya, Ashutosh Gupta, Mandayam Srivas, Somya Mani, Ankit Shukla, Mukund Thattai

Publication date: 28 April 2021

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-019-00357-3

Mathematics Subject Classification ID

68Qxx: Theory of computing

Uses Software

• MiniSat
• z3
• CBMC
• DepQBF
• CryptoMiniSat
• Velev SAT Benchmarks

Cites Work

• MiniSat