Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.

Leonor Prensa Nieto Javier Esparza

Published in: MFCS (2000)

Keyphrases

theorem prover
natural deduction
theorem proving
data sets
databases
bayesian networks
multiscale
wide range
preprocessing
neural network
mobile robot
probability distribution
software engineering
first order logic
garbage collection