Titlebook: Computer Aided Verification; 30th International C Hana Chockler,Georg Weissenbacher Conference proceedings‘‘‘‘‘‘‘‘ 2018 The Editor(s) (if a

祖?zhèn)?/a>

Fast Numerical Program Analysis with Reinforcement Learning of abstract program states and available actions, we then apply Q-learning with linear function approximation to compute an optimized context-sensitive policy that chooses transformers during analysis. We implemented our approach for the notoriously expensive Polyhedra domain and evaluated it on a

擔(dān)憂

Ataxia

tangle

Computer Aided Verification978-3-319-96145-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

刺激

骯臟

immunity

Muscularis

Isolate

PLUMP

https://doi.org/10.1007/b100749t program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once. These programs are expressed in the ordinary syntax of imperative concurrent programs using gated atomic actions, sequencing, c