Results 101 to 110 of about 2,823 (181)

Smart Contract–Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework

IEEE Open Journal of the Computer Society
The global energy sector is experiencing a significant revolution, propelled by the necessity to address climate change and shift towards sustainable energy sources.
Gauhar Ali, Sajid Shah, Muhammad Asim, Abdelhamied A. Ateya, Mohammed ElAffendi   +4 more
doaj   +1 more source

Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study

IEEE Access
Ethereum 2.0 stands out as a progressive decentralized blockchain platform, drawing attention for its security, scalability, and flexibility. Central to Ethereum 2.0 is the Beacon Chain, serving as the cornerstone managing validator rewards, penalties ...
Muhammad Rashid, Imran Rasool, Nazir Ahmad Zafar, Hamra Afzaal   +3 more
doaj   +1 more source

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

, 2011
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models.
A. van Deursen, B.-Y. Wang, B.D. Theelen et al., D. Baum, D. C. Schmidt, D.A. Sadilek, E. Visser, Francisco Durán, G.J. Holzmann, H. Garavel, J. A. Bergstra, J. Ellson et al., J. Hooman, J.E. Rivera, J.F. Groote et al., Luc Engelen, M. van Amstel, M. van den Brand et al., M.F. van Amstel, M.G.J. van den Brand, Mark van den Brand, R.J. van Glabbeek, S. Eker, Suzana Andova, V. Rusu, Vlad Rusu   +25 more
core   +2 more sources

Abstraction in directed model checking [PDF]

, 2004
ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Edelkamp, Stefan, Lluch-Lafuente, Alberto   +1 more
core  

Trust Beyond Border: Lightweight, Verifiable User Isolation for Protecting In-Enclave Services. [PDF]

IEEE Trans Dependable Secure Comput, 2023
Wang W, Liu W, Chen H, Wang X, Tian H, Lin D.   +5 more
europepmc   +1 more source

Verifiable biology. [PDF]

J R Soc Interface, 2023
Konur S, Gheorghe M, Krasnogor N.
europepmc   +1 more source

Molluskicidal nanoemulsion of Neomitranthes obscura (DC.) N. Silveira for schistosomiasis control. [PDF]

Front Pharmacol, 2023
Rangel LDS, Paiva Machado F, Amaral R, Cláudia Rodrigues Da Silva A, Santos MG, Albuquerque Dos Santos JA, Lidmar Von Ranke N, Rodrigues CR, Rocha L, Faria RX.   +9 more
europepmc   +1 more source

Java PathFinder A Translator from Java to Promela [PDF]

, 1999
Java PathFinder [2], Jpf, is a prototype translator from Java to Promela, the modeling language of the Spin model checker [4]. Jpf is a product of a major effort by the Automated Software Engineering group at NASA Ames to make model checking technology part of the software process.
openaire   +1 more source

Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. [PDF]

Sensors (Basel), 2021
Daszczuk WB.
europepmc   +1 more source

Pimephales promelas Rafinesque 1820

199. Pimephales promelas Rafinesque, 1820 Common name. Fathead minnow Taxonomy. Original description: Pimephales promelas Rafinesque 1820: 299 [Pond near Lexington, Kentucky, U.S. A; holotype (unique): whereabouts unknown]. Revisions. None. Illustrations. None. Distribution in Iran.
Sayyadzadeh, Golnaz, Esmaeili, Hamid Reza   +1 more
openaire   +1 more source