Results 21 to 30 of about 565,922 (289)
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
Analog Property Checkers: A Ddr2 Case Study [PDF]
, 2010 The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be ...
D Drusinsky +10 more
core +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
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
A Requirements Capture Method and Its Use in an Air Traffic Control Application [PDF]
, 1995 This paper describes our experience in capturing, using a formal specification language, a model of the knowledge-intensive domain of oceanic air traffic control.
Jones, S. +4 more
core +2 more sources
Refinement and verification of concurrent systems specified in Object-Z and CSP [PDF]
, 1997 The formal development of large or complex systems can often be facilitated by the use of more than one formal specification language. Such a combination of languages is particularly suited to the specification of concurrent or distributed systems, where
Derrick, John, Smith, Graeme
core +2 more sources
Simulation of stevedoring work in the Klaipeda oil terminal
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
Henrikas PraneviÄius, Dalius Makackas
doaj +1 more source
Automated class diagram elicitation using intermediate use case template
IET Software, 2021 Class diagrams, being more illustrative, provide an easier way of understanding software requirements compared to use case descriptions. Both manual and automated methods are used for the extraction of class diagrams from requirements.
Shweta, Ratna Sanyal, Bibhas Ghoshal
doaj +1 more source
Using schedulers to test probabilistic distributed systems [PDF]
, 2012 This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the
B Sarikaya +28 more
core +1 more source
Research on formal security policy model specification and its formal analysis
Tongxin xuebao, 2006 Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter ...
LI Li-ping1 +4 more
doaj +2 more sources