Login / Signup

Regular Separability of Well-Structured Transition Systems.

Wojciech CzerwinskiSlawomir LasotaRoland MeyerSebastian MuskallaK. Narayan KumarPrakash Saivasan
Published in: CONCUR (2018)
Keyphrases
  • transition systems
  • concurrent systems
  • model checking
  • temporal logic
  • finite state
  • control flow
  • practical reasoning
  • formal specification
  • model checker
  • distributed systems
  • first order logic
  • domain independent