Stem amc$ (all stems)

3 papers:

DATE-2013-ZhaoGZ #named #scheduling

PT-AMC: integrating preemption thresholds into mixed-criticality scheduling (QZ, ZG, HZ), pp. 141–146.

LICS-2007-KahlerKT #encryption #infinity #model checking #protocol

Infinite State AMC-Model Checking for Cryptographic Protocols (DK, RK, TT), pp. 181–192.

CAV-2002-GrocePY #adaptation #model checking #named

AMC: An Adaptive Model Checker (AG, DP, MY), pp. 521–525.