Search Results - subject:"formal verification"

Assessing business process models : a literature review on techniques for BPMN testing and formal verification

Lopes, Tomás; Guerreiro, Sérgio Luís Proença Duarte - In: Business process management journal 29 (2023) 8, pp. 133-162

Persistent link: https://www.econbiz.de/10014496656

Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen

Grobosch, Sebastian Patrick - 2019

Persistent link: https://www.econbiz.de/10012163408

Aircraft maintenance information system design and verification

Liu, Yinling - 2019

Persistent link: https://www.econbiz.de/10012488808

Towards a formal specification for an AADL behavioural subset using the LNT language

Mkaouar, Hana; Zalila, Bechir; Hugues, Jérôme; … - In: International journal of business and systems research … 14 (2020) 2, pp. 162-190

Persistent link: https://www.econbiz.de/10012199008

Using formal verification to develop higher assurance, more maintainable financial software

Kerber, Manfred; Rowat, Colin; Vosloo, Neels - In: Journal of risk management in financial institutions 13 (2019/2020) 1, pp. 35-46

Persistent link: https://www.econbiz.de/10012250006

Embedded Systems Development Tools: A MODUS-oriented Market Overview

Loupis, Michalis - In: Business Systems Research 5 (2014) 1, pp. 6-20

applied in this work. Results: This paper presents a MODUS-oriented market analysis in the domains of Formal Verification …

Persistent link: https://www.econbiz.de/10010929938

The MODUS Approach to Formal Verification

Brewka, Lukasz; Soler, José; Berger, Michael - In: Business Systems Research 5 (2014) 1, pp. 21-33

paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and …

Persistent link: https://www.econbiz.de/10010929947

Secure and Robust Telemedicine using ECC on Radix-8 with Formal Verification

Kumar, Gautam; Saini, Hemraj - In: International Journal of Information Security and … 12 (2018) 1, pp. 13-28

The scalar multiplication techniques used in Elliptic curve cryptography (ECC) are having the scope for gaining the computation efficiency. This is possible through the reduction of precomputed operations. Finding the more efficient technique compares to the most recent or efficient one is a...

Persistent link: https://www.econbiz.de/10012045705

FRABAC: a new hybrid access control model for the heterogeneous multi-domain systems

Ben Attia, Hasiba; Kahloul, Laid; Benharzallah, Saber - In: International journal of management and decision making … 17 (2018) 3, pp. 245-278

Persistent link: https://www.econbiz.de/10011971578

Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software

Lyons, Damian; Arkin, Ronald C; Jiang, Shu; O'Brien, … - In: International Journal of Monitoring and Surveillance … 5 (2017) 1, pp. 49-70

performance guarantees for behavior-based, multi-robot critical mission software using an innovative approach to formal … verification for robotic software. Localization and mapping algorithms can allow a robot to navigate well in an unknown environment …

Persistent link: https://www.econbiz.de/10012046689