Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions.

Sat, 01 Jan 2011 00:00:00 +0100

Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay:
Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(10): 1446-1457 (2011)