Results 21 to 30 of about 526,453 (338)
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
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
Formalizing Anaesthesia: A case study in formal specification [PDF]
, 1996 We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker ...
Rix Groenboom +3 more
openaire +3 more sources
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +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
The Formal Specification of Oberon
, 1997 JUCS - Journal of Universal Computer Science Volume Nr.
Kutter,Philipp, Pierantonio,Alfonso
openaire +3 more sources
Testing refinements by refining tests [PDF]
, 1998 One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
C. Wezeman +15 more
core +3 more sources
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 Afifudi, 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
Specification Patterns: Formal and Easy
International Journal of Software Engineering and Knowledge Engineering, 2015 Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages from the developer. However, this goal is not entirely satisfied. When validating the desired property the developer may have to deal
Fernando Asteasuain, Víctor Braberman
openaire +3 more sources