Font Size:
a
A
A
Keyword [systems verification]
Result: 1 - 16 | Page: 1 of 1
1.
Research On Some Main Technique Of Hybrid Dynamical System
2.
Decidability And Complexity Of Process Verication
3.
The Study Of Digital Systems Verification In The Orem Prover
4.
Efficient protocol verification using rule-based systems
5.
Verification Methodology for DEVS Models
6.
Enhanced symbolic simulation for verification of embedded memory systems and datapaths
7.
Optimization-based methods for nonlinear and hybrid systems verification
8.
Model Based Safety Analysis and Verification of Cyber-Physical Systems
9.
Discovering invariants in the analysis and verification of finite state transition systems
10.
Unbounded system verification using decision procedure and predicate abstraction
11.
Systematic Design and Formal Verification of Multi-Agent Systems
12.
Games in open systems verification and synthesis
13.
A framework for formal methods driven verification and validation of dependable real-time protocols
14.
MultiVue: A multi-lingual specification and verification environment for real-time systems
15.
Formal verification and controller synthesis for discrete-time systems
16.
Scaling Verification by Leveraging Parametrization
<<First
<Prev Next>
Last>>
Jump to
