Login / Signup
On Static Verification of Puppet System Configurations.
Joseph M. Collard
Nimish Gupta
Rian Shambaugh
Aaron Weiss
Arjun Guha
Published in:
CoRR (2015)
Keyphrases
</>
face verification
formal verification
artificial intelligence
website
fingerprint verification
asynchronous circuits
optimal configuration
concurrent systems