Results 11 to 20 of about 494,717 (236)
On Formal Specification of Maple Programs [PDF]
, 2012 This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor +1 more
core +1 more source
Formal Specification and Testing of a Management Architecture [PDF]
, 1997 The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities.
C Wezeman +16 more
core +3 more sources
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +2 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
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
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
Redevelopment of an industrial case study using Event-B and Rodin [PDF]
, 2007 CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is still in operation today. This system is an example of an industrial scale system that has been developed using formal methods ...
Butler, Michael +2 more
core +3 more sources
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
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