Login / Signup

Verifying linear time temporal logic properties of concurrent Ada programs with quasar.

Sami EvangelistaClaude KaiserJean-François Pradat-PeyrePierre Rousseau
Published in: SIGAda (2003)
Keyphrases
  • linear time temporal logic
  • model checking
  • desirable properties
  • artificial intelligence
  • knowledge base
  • orders of magnitude
  • temporal logic
  • inference rules
  • concurrent programs