counterexample guided abstraction refinement - Globe Thesis

Font Size: a A A

Keyword [counterexample guided abstraction refinement] Result: 1 - 4 \| Page: 1 of 1
1.	Verification And Testing Technology For Web Applications
2.	EFSM Model Based Optimal Generation And Instantiation Of Test Cases
3.	Research On Counterexample Guided Abstraction Refinement Optimization Technology
4.	A counterexample guided abstraction refinement framework for verifying concurrent C programs
<<First <Prev Next> Last>> Jump to