16 results on '"Chen, Zhenbang"'
Search Results
2. AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
3. Formal Verification Based Synthesis for Behavior Trees
4. CCMOP: A Runtime Verification Tool for C/C++ Programs
5. Collaborative Verification of Uninterpreted Programs
6. Trace Abstraction-Based Verification for Uninterpreted Programs
7. Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
8. An Operational Semantics for Model Checking Long Running Transactions
9. Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations
10. Failure-Divergence Refinement of Compensating Communicating Processes
11. An Extended cCSP with Stable Failures Semantics
12. Specification and Validation of Behavioural Protocols in the rCOS Modeler
13. Towards Formal Interfaces for Web Services with Transactions
14. Modelling with Relational Calculus of Object and Component Systems - rCOS
15. Harnessing rCOS for Tool Support —The CoCoME Experience
16. Genomic Structure of the Apomixis Locus in Pennisetum
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.