Login / Signup

Verification of Program Transformations with Inductive Refinement Types.

Ahmad Salim Al-SibahiThomas P. JensenAleksandar S. DimovskiAndrzej Wasowski
Published in: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
  • symbolic execution
  • functional programs
  • machine learning
  • social networks
  • model checking
  • real time
  • decision trees
  • expert systems
  • static analysis
  • formal verification