Showing 301 - 320 results of 617 for search '"formal verification"', query time: 0.38s Refine Results
  1. 301

    How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif by Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa

    Published 2024-01-01
    “…The formal verification of cryptographic protocols has been extensively studied in recent years. …”
    Get full text
    Article
  2. 302

    PROLEAD by Nicolai Müller, Amir Moradi

    Published 2022-08-01
    “…Moreover, abstract models like probing security allow formal verification tools to evaluate masked implementations. …”
    Get full text
    Article
  3. 303

    Methods for Domain Specification of Verification-Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

    Published 2019-12-01
    “…One of the advantages of such ontologies is their formal semantics which make possible formal verification of the described systems. Our method is based on the abstract verification-oriented process ontology. …”
    Get full text
    Article
  4. 304
  5. 305

    The bedrock structured programming system by Chlipala, Adam

    Published 2022
    “…We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. …”
    Get full text
    Article
  6. 306

    Safe Neighborhood Computation for Hybrid System Verification by Yi Deng, Agung Julius

    Published 2015-01-01
    “…In this paper, a simulation-based approach to formal verification of hybrid systems is presented.…”
    Get full text
    Article
  7. 307

    Formal and Informal Methods for Multi-Core Design Space Exploration by Jean-Francois Kempf, Olivier Lebeltel, Oded Maler

    Published 2014-06-01
    “…We argue that this extension of the scope of formal verification is important for the viability of the domain.…”
    Get full text
    Article
  8. 308

    Verified Approximation Algorithms by Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

    Published 2022-03-01
    “…We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. …”
    Get full text
    Article
  9. 309

    Synthesis of a Controller Algorithm for Safety-Critical Systems by Fellipe Guilherme Rey de Souza, Celso Massaki Hirata, Simin Nadjm-Tehrani

    Published 2022-01-01
    “…For the design phase, STPA can be combined with SysML modeling activities, including simulation and formal verification of systems models to produce the control software more efficiently. …”
    Get full text
    Article
  10. 310

    BRIoT: Behavior Rule Specification-Based Misbehavior Detection for IoT-Embedded Cyber-Physical Systems by Vishal Sharma, Ilsun You, Kangbin Yim, Ing-Ray Chen, Jin-Hee Cho

    Published 2019-01-01
    “…The key concept of our approach is to model a system with which misbehavior of an IoT device manifested as a result of attacks exploiting the vulnerability exposed may be detected through automatic model checking and formal verification, regardless of whether the attack is known or unknown. …”
    Get full text
    Article
  11. 311

    Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond by Jingda Yang, Sudhanshu Arya, Ying Wang

    Published 2024-01-01
    “…We design and implement formal verification to detect attack traces in critical protocols. …”
    Get full text
    Article
  12. 312

    The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier by Chlipala, Adam

    Published 2014
    “…We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. …”
    Get full text
    Get full text
    Article
  13. 313

    Trends in Modern Exception Handling by Marcin Kuta

    Published 2003-01-01
    “…Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research.…”
    Get full text
    Article
  14. 314

    Distributed Parametric and Statistical Model Checking by Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, Axel Legay

    Published 2011-10-01
    “…Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. …”
    Get full text
    Article
  15. 315

    Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract) by David Reutter, Jamie Vicary

    Published 2018-02-01
    “…We analyze many known quantum programs in this way—including entanglement manipulation and error correction—and in each case present a fully-topological formal verification, yielding in several cases substantial new insight into how the program works. …”
    Get full text
    Article
  16. 316

    Shaded tangles for the design and verification of quantum programs by Reutter, D, Vicary, J

    Published 2018
    “…We analyze many known quantum programs in this way—including entanglement manipulation and error correction—and in each case present a fullytopological formal verification, yielding in several cases substantial new insight into how the program works. …”
    Conference item
  17. 317

    Synthesis of a simple self-stabilizing system by Adrià Gascón, Ashish Tiwari

    Published 2014-07-01
    “…Although the area of formal verification has made enormous advances towards this goal, the resulting functionalities are limited to detecting problems in a particular design. …”
    Get full text
    Article
  18. 318

    Modeling Algorithms in SystemC and ACL2 by John W. O'Leary, David M. Russinoff

    Published 2014-06-01
    “…By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of documentation, which in turn is translated to ACL2 for formal verification. The parser also generates a SystemC variant that is suitable as input to a high-level synthesis tool. …”
    Get full text
    Article
  19. 319

    Implementation of the Composition-nominative Approach to Program Formalization in Mizar by Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko

    Published 2018-05-01
    “…The further aim of this work is development of a formal verification tool for software which processes and communicates with complex forms of data.…”
    Get full text
    Article
  20. 320

    Automatically proving the correctness of vehicle coordination by Mikael Asplund

    Published 2018-03-01
    “…We apply this method to an intersection collision avoidance protocol and show how the method can be used to investigate the settings under which such a protocol achieves safety and progress. Keywords: Formal verification, Vehicular coordination, SMT, Intersection collision avoidance…”
    Get full text
    Article