Login / Signup
Model checking copy phases of concurrent copying garbage collection with various memory models.
Tomoharu Ugawa
Tatsuya Abe
Toshiyuki Maeda
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
model checking
garbage collection
temporal logic
finite state machines
reactive systems
automated verification
flash memory
model checker
timed automata
transition systems
space efficient
memory management
epistemic logic
formal specification
object oriented databases
process algebra
data structure