Chengjie Shen

According to our database¹, Chengjie Shen authored at least 2 papers in 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Engineering of An Assertion-based PSL<sup>Simple</sup>-Verilog Dynamic Verifier by Alternating Automata.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Dynamic Verifying The Properties of The Simple Subset of PSL.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007