Symbooglix: A Symbolic Execution Engine for Boogie Programs | IEEE Conference Publication | IEEE Xplore