336 results on '"formal verification"'
Search Results
2. Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
3. Proxy signature-based role delegation scheme: formal analysis and simulation
4. Analysis of crypto module in RIOT OS using Frama-C
5. Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers
6. Formally understanding Rust’s ownership and borrowing system at the memory level
7. An optimal secure and reliable certificateless proxy signature for industrial internet of things
8. A refinement-based approach to safe smart contract deployment and evolution
9. Mathematical analysis of AMRes: unlocking enhanced recognition across audio-visual domains
10. Hardware Trojans Detection and Prevention Techniques Review
11. Certification of avionic software based on machine learning: the case for formal monotony analysis
12. Reusable formal models for concurrency and communication in custom real-time operating systems
13. Deductive verification of smart contracts with Dafny
14. Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
15. Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
16. Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models
17. Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification
18. Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models
19. Modelling flocks of birds and colonies of ants from the bottom up
20. Formally modeling and verifying a software component retrieval system using mCRL2
21. A manifesto for applicable formal methods
22. Regularity and quantification: a new approach to verify distributed protocols
23. Synthesizing verified components for cyber assured systems engineering
24. PUF-based mutual authentication and session key establishment protocol for IoT devices
25. MBIPV: a model-based approach for identifying privacy violations from software requirements
26. First three years of the international verification of neural networks competition (VNN-COMP)
27. Abstracting IoT protocols using timed process algebra and SPIN model checker
28. Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron
29. Formal Verification of Termination Criteria for First-Order Recursive Functions
30. An approach for the automatic verification of blockchain protocols: the Tweetchain case study
31. Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data
32. Query-Driven Verification of Data Integration in the RDF Data Model
33. A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery
34. Checking causal consistency of distributed databases
35. Integrating ADTs in KeY and their application to history-based reasoning about collection
36. Approximate verification of concurrent systems using token structures and invariants
37. Formal model for inter-component communication and its security in android
38. Cloud manufacturing service composition in IoT applications: a formal verification-based approach
39. Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
40. Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare system
41. Verification modulo theories
42. Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
43. Strong eventual consistency of the collaborative editing framework WOOT
44. Four-factor mutual authentication scheme for health-care based on wireless body area network
45. Software architecture for IoT-based health-care systems with cloud/fog service model
46. A Temporal Logic for Programmable Logic Controllers
47. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
48. Verification of Real Time Operating System Exception Management Based on SPARCv8
49. Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
50. Reductions and abstractions for formal verification of distributed round-based algorithms
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.