共 50 条
- [42] Estimating functional coverage in bounded model checking 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1176 - 1181
- [47] Functional Test Generation for Hard to Detect Stuck-At Faults using RTL Model Checking 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2012,
- [48] ADAPTIVE STORYTELLING BASED ON MODEL-CHECKING APPROACHES Proceedings of CGAMES'2008: 13th International Conference on Computer Games: AI, Animation, Mobile, Educational and Serious Games, 2008, : 126 - 132
- [49] Optimizing bounded model checking for linear hybrid systems VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 396 - 412
- [50] Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 404 - 415