Login / Signup

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving.

Pedro AntoninoThomas Gibson-RobinsonA. W. Roscoe
Published in: Formal Aspects Comput. (2019)
Keyphrases
  • concurrent systems
  • sat solving
  • model checking
  • temporal logic
  • reinforcement learning
  • upper bound
  • distributed systems
  • formal specification