Login / Signup

RGITL: A temporal logic framework for compositional reasoning about interleaved programs.

Gerhard SchellhornBogdan TofanGidon ErnstJörg PfählerWolfgang Reif
Published in: Ann. Math. Artif. Intell. (2014)
Keyphrases
  • temporal logic
  • model checking
  • knowledge base
  • np complete
  • satisfiability problem
  • concurrent systems