• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Efficient Static Analysis of Marlowe Contracts.

Pablo Lamela SeijasDavid SmithSimon J. Thompson
Published in: ISoLA (3) (2020)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • data sets
  • case study
  • java card
  • symbolic execution
  • regular expressions
  • abstract interpretation