A Refinement Proof for a Garbage Collector.

Klaus Havelund Natarajan Shankar

Published in: From Reactive Systems to Cyber-Physical Systems (2019)

Keyphrases

data mining
linear logic
garbage collection
automated theorem proving
databases
learning algorithm
information systems
case study
multi agent
search algorithm
theorem prover
theorem proving
step wise