1. Home
  2. Formal verification
  Subject:

Formal verification   New Search

View on DBpedia    View on Wikipedia
Top related subjects:
 Model checking Library Algorithm Weight distribution Unified Modeling Language Time Symmetric-key algorithm Smart card Simulink Security Properties Formal verification Formal methods SPIN model checker Reference model Gene Protein DNA Polymerase chain reaction Mathematical optimization Genetic algorithm Graph theory Classical mechanics Artificial neural network Wireless sensor network Cloud computing Routing protocol Systems Modeling Language Space Shuttle Enterprise Semantic Web Object-oriented programming General relativity Quantum mechanics Spacetime Cryptography Internet Block cipher Advanced Encryption Standard Key-agreement protocol Logic Biometrics MATLAB Stator Maximum power point tracking Satisfiability modulo theories ProVerif
RELATED SUBJECTS:
The publications listed also have these subjects
Model checking  3 times
Library  2 times
Algorithm  2 times
Weight distribution  1 time
Unified Modeling Language  1 time
Time  1 time
Smart card  1 time
Simulink  1 time
Rhibosome  1 time
Programming language  1 time
Multidimensional scaling  1 time
Mathematical optimization  1 time
Machine tool  1 time
Linux kernel  1 time
Heuristic  1 time
Flow cytometry  1 time
First-order logic  1 time
Cryptography  1 time
Chebyshev polynomials  1 time
Cardinality  1 time
Boolean satisfiability problem  1 time
Association for Computing Machinery  1 time

Publications tagged with this subject: 18

Note: Top 50 publications shown only. Open an item panel to view more info (open all)


1. Modelling and Analysis of Oversaturated Intersections Using Jointly Hybrid Petri net and Hybrid Automata

2. Formal modeling and verification of security controls for multimedia systems in the cloud

3. A fully verified container library

4. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data

5. Hybrid automata: from verification to implementation

6. Cardinality constraints for arrays (decidability results and applications)

7. Visual Specification and Analysis of Contract-Based Software Architectures

8. To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

9. Improving the Verification of Real-Time Systems Using Time Petri Nets

10. Chaotic Maps-Based Strong Anonymous Authentication Scheme for Roaming Services in Global Mobility Networks

11. Incremental bounded model checking for embedded software

12. A Logical Analysis of Quantum Voting Protocols

13. A survey on formal specification and verification of separation kernels

14. Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

15. Formally Proving Size Optimality of Sorting Networks

16. DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases

17. Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

18. Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques


Questions?

Drop us a message.