Login / Signup

Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.

Regimantas Pliuskevicius
Published in: J. Appl. Non Class. Logics (1998)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • similarity measure
  • machine learning
  • domain specific
  • object oriented
  • monte carlo
  • domain independent
  • search strategies
  • formal verification