Lightweight Nontermination Inference with CHCs.

Bishoksan Kafle Graeme Gange Peter Schachte Harald Søndergaard Peter J. Stuckey

Published in: SEFM (2021)

Keyphrases

lightweight
inference process
development environments
bayesian inference
data model
wireless sensor networks
probabilistic model
end to end
rfid tags