Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2005 | Specification of an Infinite-State Local Model Checker in Rewriting Logic | Bow-Yaw Wang | ||||
2014 | Symbolic Assume-Guarantee Reasoning through BDD Learning | Fei He; Bow-Yaw Wang; Liangze Yin; Lei Zhu | ||||
2012 | Termination Analysis with Algorithmic Learning | Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi | ||||
2004 | Toward Unbounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang | ||||
2013 | VCS: A Verifier for Component-Based Systems | Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng | ||||
2018 | Verifying Arithmetic Assembly Programs in Cryptographic Primitives | Andy Polyakov; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang | ||||
2014 | Verifying Curve25519 Software | Yu-Fang Chen; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang |