Sign in

MoSeL: a general, extensible modal framework for interactive proofs in separation logic.

Robbert KrebbersJacques-Henri JourdanRalf JungJoseph TassarottiJan-Oliver KaiserAmin TimanyArthur CharguéraudDerek Dreyer
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases
  • special case
  • main contribution
  • theoretical framework
  • modal logic
  • logical framework
  • closely related
  • conceptual framework
  • data sets
  • neural network
  • probabilistic model
  • virtual reality
  • mathematical theory