14 results on '"Xiaobing Wang"'
Search Results
2. Runtime Verification of Ethereum Smart Contracts Based on MSVL.
3. An MSVL-Based Modeling Framework for Back Propagation Neural Networks.
4. An MSVL Based Model Checking Method for Multi-threaded C Programs.
5. Automatic Generation of Specification from Natural Language Based on Temporal Logic.
6. Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.
7. Model Checking Python Programs with MSVL.
8. Model Checking Java Programs with MSVL.
9. Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.
10. A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.
11. Extending UML for Model Checking.
12. Runtime Verification Monitor Construction for Three-valued PPTL.
13. A Method Based on MSVL for Verification of the Social Network Privacy Policy.
14. Formalizing and Implementing Types in MSVL.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.