Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model.

Mihir Parang Mehta William R. Cook

Published in: SBMF (2020)

Keyphrases

probabilistic model
experimental data
probability distribution
computational model
operating system
hierarchical structure
sensitivity analysis
analytical model