Reference Hub

This research has been cited in:

Chapter
Formal Verification and Safety Assessment of a Hemodialysis MachineSOFSEM 2018: Theory and Practice of Computer Science10.1007/978-3-319-73117-9_17
Article
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem ProvingIEEE Access10.1109/ACCESS.2019.2942829
Conference
Automatic Formal Verification of Digital Components of IoTs Using CBMC2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)10.1109/HONET.2018.8551480
Chapter
Reliability Analysis of Smart Grids Using Formal MethodsHandbook of Smart Energy Systems10.1007/978-3-030-72322-4_81-1
Chapter
CAN-verify: A Verification Tool For BDI AgentsIntegrated Formal Methods10.1007/978-3-031-47705-8_19
Chapter
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUsTheoretical Aspects of Computing – ICTAC 202110.1007/978-3-030-85315-0_6
Article
A Library for Combinational Circuit Verification Using the HOL Theorem ProverIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2017.2705049
Chapter
Reasoning About Order Crossover in Genetic AlgorithmsAdvances in Swarm Intelligence10.1007/978-3-031-09677-8_22
Chapter
IntroductionFormal Analysis of Future Energy Systems Using Interactive Theorem Proving10.1007/978-3-030-78409-6_1
Conference
Extraction of a computer-certified ODE solver2021 European Control Conference (ECC)10.23919/ECC54610.2021.9655219
Chapter
Formalization of Transform Methods Using HOL LightIntelligent Computer Mathematics10.1007/978-3-319-62075-6_22
Conference
Survey of Formal Verification Methods for Smart Contracts on Blockchain2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)10.1109/NTMS.2019.8763832
Chapter
Proof Guidance in PVS with Sequential Pattern MiningFundamentals of Software Engineering10.1007/978-3-030-31517-7_4
Article
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential CircuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.3061524
Conference
A Formal Approach to Improve Connectivity Coverage in DFD, DFT, DFM, and DFX Domain2023 IEEE International Test Conference India (ITC India)10.1109/ITCIndia59034.2023.10235687
Chapter
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs FormalismEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-40223-5_12
Conference
Formal verification of energy consumption for an EEG monitoring wireless body area sensor network2016 International Conference on Open Source Systems & Technologies (ICOSST)10.1109/ICOSST.2016.7838331
Article
A Formal Approach to Road Safety Assessment Using Traffic Conflict TechniquesIEEE Open Journal of Vehicular Technology10.1109/OJVT.2024.3387414
Chapter
Formal Verification of Cyber-Physical Systems Using Theorem ProvingFormal Techniques for Safety-Critical Systems10.1007/978-3-030-46902-3_1
Conference
Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL2015 12th International Conference on High-capacity Optical Networks and Enabling/Emerging Technologies (HONET)10.1109/HONET.2015.7395420
Conference
Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM2015 17th International Conference on E-health Networking, Application & Services (HealthCom)10.1109/HealthCom.2015.7454482
Article
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem ProvingIEEE Systems Journal10.1109/JSYST.2021.3077558
Article
Exploiting bounds optimization for the semi-formal verification of analog circuitsIntegration10.1016/j.vlsi.2017.06.008
Chapter
Formal Analysis of Robotic Cell Injection Systems Using Theorem ProvingCyber Physical Systems. Design, Modeling, and Evaluation10.1007/978-3-030-17910-6_10
Article
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniquesApplied Intelligence10.1007/s10489-020-01837-7
Article
Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power NetworksIEEE Access10.1109/ACCESS.2021.3051968
Chapter
Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical RobotVerification and Evaluation of Computer and Communication Systems10.1007/978-3-319-66176-6_1
Article
Formally Verifying Transfer Functions of Linear Analog CircuitsIEEE Design & Test10.1109/MDAT.2017.2713388
Chapter
Formal Verification of n-bit ALU Using Theorem ProvingFormal Methods: Foundations and Applications10.1007/978-3-030-03044-5_6
Conference
AAG: An automatic assertion generation framework for RTL designs2018 International Conference on Computing, Mathematics and Engineering Technologies (iCoMET)10.1109/ICOMET.2018.8346391
Conference
Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)10.1109/QRS-C60940.2023.00112
Conference
Model Checking the Safety of Raft Leader Election Algorithm2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS57517.2022.00048
Article
A rigorous approach to microprocessor verification using UVMi-manager’s Journal on Electronics Engineering10.26634/jele.13.1.19344
Chapter
Formal Analysis of Information Flow in HOLDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-319-69483-2_17
Article
HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital CircuitsJournal of Electronic Testing10.1007/s10836-021-05956-y
Article
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem ProvingIEEE Access10.1109/ACCESS.2020.2971661
Chapter
g-HOL: A Graphical User Interface for the HOL Proof AssistantFormal Techniques for Safety-Critical Systems10.1007/978-3-319-29510-7_16
Conference
Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids2021 3rd Global Power, Energy and Communication Conference (GPECOM)10.1109/GPECOM52585.2021.9587583
Conference
Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises10.1109/WETICE.2015.39
Article
Formal Asymptotic Analysis of Online Scheduling Algorithms for Plug-In Electric Vehicles’ ChargingEnergies10.3390/en12010019
Article
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL LightFormal Aspects of Computing10.1007/s00165-020-00514-3
Chapter
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial VehiclesMobile Robot: Motion Control and Path Planning10.1007/978-3-031-26564-8_9
Chapter
Formal Timing Analysis of Digital CircuitsFormal Techniques for Safety-Critical Systems10.1007/978-3-030-12988-0_6
Article
Proof Learning in PVS With Utility Pattern MiningIEEE Access10.1109/ACCESS.2020.3004199
Conference
TeeSwap: Private Data Exchange using Smart Contract and Trusted Execution Environment2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys)10.1109/HPCC-DSS-SmartCity-DependSys53884.2021.00057
Chapter
Formal Analysis of Linear Control Systems Using Theorem ProvingFormal Methods and Software Engineering10.1007/978-3-319-68690-5_21
Article
Formal Verification of ECCs for Memories Using ACL2Journal of Electronic Testing10.1007/s10836-020-05904-2
Article
Formal reasoning about synthetic biology using higher‐order‐logic theorem provingIET Systems Biology10.1049/iet-syb.2020.0026
Chapter
Reliability Analysis of Smart Grids Using Formal MethodsHandbook of Smart Energy Systems10.1007/978-3-030-97940-9_81
Article
Formal reliability analysis of oil and gas pipelinesProceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability10.1177/1748006X17694494
Article
Towards the formal performance analysis of multistate coherent systems using HOL theorem provingProceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability10.1177/1748006X221074441
Conference
Proof searching in HOL4 with genetic algorithmProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3373917
Chapter
Formal Verification of ZigBee-Based Routing Protocol for Smart GridsEncyclopedia of Information Science and Technology, Fifth Edition10.4018/978-1-7998-3479-3.ch069
Chapter
Formal Verification of ZigBee-Based Routing Protocol for Smart GridsResearch Anthology on Smart Grid and Microgrid Development10.4018/978-1-6684-3666-0.ch042

Formal Verification Methods

Osman Hasan, Sofiène Tahar

Source Title: Encyclopedia of Information Science and Technology, Third Edition

ISBN13: 9781466658882|ISBN10: 1466658886|EISBN13: 9781466658899

DOI: 10.4018/978-1-4666-5888-2.ch705

Cite Chapter Cite Chapter

MLA

Hasan, Osman, and Sofiène Tahar. "Formal Verification Methods." Encyclopedia of Information Science and Technology, Third Edition, edited by Mehdi Khosrow-Pour, D.B.A., IGI Global, 2015, pp. 7162-7170. https://doi.org/10.4018/978-1-4666-5888-2.ch705

APA

Hasan, O. & Tahar, S. (2015). Formal Verification Methods. In M. Khosrow-Pour, D.B.A. (Ed.), Encyclopedia of Information Science and Technology, Third Edition (pp. 7162-7170). IGI Global. https://doi.org/10.4018/978-1-4666-5888-2.ch705

Chicago

Hasan, Osman, and Sofiène Tahar. "Formal Verification Methods." In Encyclopedia of Information Science and Technology, Third Edition, edited by Mehdi Khosrow-Pour, D.B.A., 7162-7170. Hershey, PA: IGI Global, 2015. https://doi.org/10.4018/978-1-4666-5888-2.ch705

Export Reference

Favorite

View Full Text HTML

View Full Text PDF

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

Formal Verification Methods

MLA

APA

Chicago

Export Reference

Request Access