Font Size:
a
A
A
Keyword [abstraction refinement]
Result: 1 - 16 | Page: 1 of 1
1.
Verification And Testing Technology For Web Applications
2.
Modeling And Verifying Complex Security Protocols
3.
Decidability, Complexity, Expressiveness And Model Checking Of Propositional Projection Temporal Logic
4.
Research Based On The Gste Theory Of Abstraction And Refinement
5.
Research On Verification Of Web Service Based On Abstraction Refinement And Combination Technology
6.
EFSM Model Based Optimal Generation And Instantiation Of Test Cases
7.
Research On Counterexample Guided Abstraction Refinement Optimization Technology
8.
Research And Implementation Of C Program Loop Verification Method Based On Model Checking
9.
Research On The Probabilistic Model Checking Problem On Real Time Systems
10.
Research On Abstraction-refinement Method Of Software Model Checking
11.
OpenMP Program Verification Based On Bounded Model Checking
12.
Interval-based abstraction refinement
13.
Verification of large industrial circuits using SAT based reparameterization and automated abstraction-refinement
14.
Satisfiability-based abstraction refinement in symbolic model checking
15.
A counterexample guided abstraction refinement framework for verifying concurrent C programs
16.
SAT based abstraction refinement for hardware verification
<<First
<Prev Next>
Last>>
Jump to
