Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Solidifer: bounded model checking Solidity using lazy contract deployment and precise memory modelling

Solidifer: bounded model checking Solidity using lazy contract deployment and precise memory modelling

Pedro Antonino and A.W. Roscoe

Journal
Symposium on Applied Computing (SAC) 2021
Year
2021

Links

See Also

Back to Top