Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shengchao Qin
Termination and Non-Termination Specification Inference
ACM SIGPLAN Notices
Computer Science
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mapping Statecharts to Verilog for Hardware/Software Co-Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Constructing Property-Oriented Models for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Realizing Live Sequence Charts in SystemVerilog
Multiple Pre/Post Specifications for Heap-Manipulating Methods
