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.
Counterexamples in Model Checking--A Survey
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.
Counterexample-preserving reduction for symbolic model checking
Junttila, "Simple bounded LTL model checking," in Formal Methods in Computer-Aided Design (FMCAD 04), A.
Bounded model checking of ETL cooperating with finite and looping automata connectives
Acronyms browser ?
Full browser ?