Modular coinduction up-to for higher-order languages via first-order transition systems.

Jean-Marie Madiot Damien Pous Davide Sangiorgi

Published in: CoRR (2020)

Keyphrases

higher order
transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
conditional random fields
reactive systems
distributed systems
markov models
artificial intelligence
social networks
petri net
formal verification