Login / Signup

Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion.

Miguel RomeroCamilo Rocha
Published in: NFM (2018)
Keyphrases
  • reachability analysis
  • symbolic execution
  • distributed systems
  • spatial information
  • learning algorithm
  • database systems
  • general purpose
  • constraint satisfaction problems
  • static analysis