Results 21 to 30 of about 3,157,454 (357)
A Formal Verification Framework for Security Issues of Blockchain Smart Contracts
Electronics, 2020 Blockchain technology has attracted more and more attention from academia and industry recently. Ethereum, which uses blockchain technology, is a distributed computing platform and operating system.
Tianyu Sun, Wensheng Yu
semanticscholar +1 more source
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present the formal verification of a low-power x86 floating-point multiplier. The multiplier operates iteratively and feeds back intermediate results in redundant representation. It supports x87 and SSE instructions in various precisions and can block
Peter-Michael Seidel
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source
Formal Verification of Netlog Protocols [PDF]
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012 Des languages orientés données basés sur des règles récursives ont été proposés pour programmer les applications distribuées sur des réseaux. Ils simplifient grandement le codage tout en admettant une exécution efficace. Ils offrent également une approche prometteuse pour les problèmes de verification qui sont délicats en distribué \cite{discotec11 ...
Chen, Meixian, Monin, Jean-François
openaire +3 more sources
Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016 The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts.
Amel Benabbou +2 more
doaj +1 more source
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
IEEE Transactions on robotics, 2020 A crucial aspect of physical human–robot collaboration (HRC) is to maintain a safe common workspace for human operator. However, close proximity between human–robot and unpredictability of human behavior raises serious challenges in terms of safety. This
F. Vicentini +3 more
semanticscholar +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
Formal Verification of a Hybrid IoT Operating System Model
IEEE Access, 2021 The Internet of Things (IoT) is becoming an increasingly common paradigm. As IoT usage scenarios have increased, many challenges in IoT operating systems’ safety and adaptability have remained.
Yuqian Guan, Jian Guo, Qin Li
doaj +1 more source
Formal Verification of HotStuff
, 2021 HotStuff is a recent algorithm for repeated distributed consensus used in permissioned blockchains. We present a simplified version of the HotStuff algorithm and verify its safety using both Ivy and the TLA Proof Systems tools.We show that HotStuff deviates from the traditional view-instance model used in other consensus algorithms and instead follows ...
openaire +4 more sources
Formal Verification of Hardware Synthesis [PDF]
, 2013 We report on the implementation of a certified compiler for a high-level hardware description language (HDL) called Fe-Si (FEatherweight SynthesIs). Fe-Si is a simplified version of Bluespec, an HDL based on a notion of guarded atomic actions. Fe-Si is defined as a dependently typed deep embedding in Coq. The target language of the compiler corresponds
Braibant, Thomas, Chlipala, Adam
openaire +6 more sources