FMCAD

AcronymDefinition
FMCADFormal Methods in Computer-Aided Design (Conference)
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
In Third International Conference, FMCAD 2000 (2000), LNCS, vol.
Brayton, "Efficient implementation of property directed reachability," in Proceedings of the Formal Methods in Computer-Aided Design (FMCAD '11), pp.
Manna, "Checking safety by inductive generalization of counterexamples to induction," in Proceedings of the Formal Methods in Computer Aided Design (FMCAD '07), pp.
Junttila, "Simple bounded LTL model checking," in Formal Methods in Computer-Aided Design (FMCAD 04), A.