Results 21 to 30 of about 1,643,554 (351)
Introduction to Formal Methods for Software Engineering
Measurement + Control, 1993 This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly.
Trevor King
doaj +1 more source
USING FORMAL METHODS FOR TEST CASE GENERATION ACCORDING TO TRANSITION-BASED COVERAGE CRITERIA [PDF]
Jordanian Journal of Computers and Information Technology, 2015 Formal methods play an important role in increasing the quality, reliability, robustness and effectiveness of software. Also the uses of formal methods, especially in safety-critical systems, help in the early detection of software errors and failures ...
Ahmad A. Saifan, Wafa Bani Mustafa
doaj +1 more source
Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance [PDF]
EAI Endorsed Transactions on Internet of Things, 2017 Battlefield surveillance requires mission-critical operations and tasks which can effectively be performed using Wireless Sensor and Actor Networks (WSANs).
Nazir Ahmad Zafar, Hamra Afzaal
doaj +1 more source
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Symposium on Operating Systems Principles, 2021 This paper reports our experience applying lightweight formal methods to validate the correctness of ShardStore, a new key-value storage node implementation for the Amazon S3 cloud object storage service.
James Bornholt +11 more
semanticscholar +1 more source
An Entry Point for Formal Methods: Specification and Analysis of Event Logs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but has ...
Howard Barringer +3 more
doaj +1 more source
Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting [PDF]
SHS Web of Conferences, 2021 The extent of formal verification methods applied in industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs’ application
Kukharenko Vladimir +3 more
doaj +1 more source
Int. J. Distributed Sens. Networks, 2014 Timely segregation of critical/noncritical nodes is extremely crucial in mobile ad hoc and sensor networks. Most of the existing segregation schemes are centralized and require maintaining network wide information, which may not be feasible in large ...
M. Alnuem +4 more
semanticscholar +1 more source
Scenic: a language for scenario specification and scene generation [PDF]
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2018 We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the problems of training a perception system to handle rare events, testing its ...
Daniel J. Fremont +5 more
semanticscholar +1 more source
Implementation of Structured Object-Oriented Formal Language for Warehouse Management System
CommIT Journal, 2020 Designing process is inseparable from software development. Like other software development processes, designing process faces many problems, such as improper and ambiguous specifications.
Irfin Afifudin, Inge Martina
doaj +1 more source
Revista Facultad de Ingeniería Universidad de Antioquia, 2012 The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia +2 more
doaj +1 more source