Login / Signup

Proving the Correctness of Reactive Systems Using Sized Types.

John HughesLars ParetoAmr Sabry
Published in: POPL (1996)
Keyphrases
  • reactive systems
  • model checking
  • small sized
  • database
  • temporal logic
  • real time
  • social networks
  • training data
  • petri net
  • information flow
  • real time systems