Font Size:
a
A
A
Keyword [counterexample]
Result: 1 - 19 | Page: 1 of 1
1.
Explaining Counterexample Of Model Checking
2.
Verification And Testing Technology For Web Applications
3.
Modeling And Verifying Complex Security Protocols
4.
Analysis And Control Of Stochastic Real Time Systems
5.
Study Of Some Key Issues On Model Checking In Formal Analysis
6.
EFSM Model Based Optimal Generation And Instantiation Of Test Cases
7.
Research On QoS Property Modeling And Verification Of Web Service Composition
8.
Research On Integration Technology Of Service Oriented Application Testing Tool
9.
A Verification Of Web Services Compositions Based On Model Checking Multi-agent Systems And Abstraction
10.
Debugging The Software Based On The Muti-counterexample From Model Checker
11.
Research On Counterexample Guided Abstraction Refinement Optimization Technology
12.
Counterexample Guided Memory-Leak Fixing In C Programs
13.
Counterexample-guided Abstract Dynamic Execution Refinement
14.
Verification And Counterexample Validation For Self-adaptive Software Systems Suffering Uncertain Environmental Interactions
15.
Vulnerability Mining Of Security Protocol Based On Counterexample
16.
BPEL Oriented Web Service Composition Modeling And Quantitative Verification
17.
A Research On Analysis And Implementation Of Security Protocol With Counterexamples
18.
A counterexample guided abstraction refinement framework for verifying concurrent C programs
19.
Error explanation and fault localization with distance metrics
<<First
<Prev Next>
Last>>
Jump to
