Login / Signup

Approximate verification of concurrent systems using token structures and invariants.

Pedro AntoninoThomas Gibson-RobinsonA. W. Roscoe
Published in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • model checking
  • process algebra
  • formal specification
  • transition systems
  • petri net
  • computer vision
  • data model
  • query language
  • complex structures