Login / Signup

Using formal verification to evaluate the execution time of Spark applications.

Luciano BaresiMarcello M. BersaniFrancesco MarconiGiovanni QuattrocchiMatteo Rossi
Published in: Formal Aspects Comput. (2020)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • symbolic model checking
  • automated verification
  • temporal logic
  • execution model
  • domain specific
  • program slicing
  • functional verification