PAT: Towards Flexible Verification under Fairness

By Jun Sun, Yang Liu, J. Dong, Jun Pang. International Conference on Computer Aided Verification, 2009

377 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Sociology and Political Science

View Paper: https://www.semanticscholar.org/paper/7262fe7f6fb4ca26c0999c6a786f1f555238d7ec