specification and verification
Formal Methods as Specification and Verification Tools Towards Stable Software Solutions
... A system’s behaviour and its effect after delivery are also important to the user and the designer. Post delivery time is the time a system is expected to serve the users/customers based on the specific purposes of the ...
9
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
... a specification language for dynamically reconfigurable ...of verification, for example, model checking with CEGAR (Counterexample-guided abstraction refinement) and bounded model check- ing based on SMT ...
27
Specification and verification of design pattern structure, behaviour and variation
... Before reviewing the large body of literature relating to the specification and verification of design patterns, a thorough analysis of the GoF pattern catalogue [Gamma et at, 1995] was [r] ...
254
Framework for the Formal Specification and Verification of Security Guidelines
... the specification and verifica- tion of adherence to those ...and verification of security properties rely on a custom PDG query language that serves to express the policies and to explore the PDG and ...
11
AsmL Specification and Verification of Lamport’s Bakery Algorithm
... The rest of the paper is organized as follows. In Section 2, a description of Bakery Algorithm is given. Its AsmL specification is presented in Section 3. Section 4 is dedicated to verification issues of ...
7
Property specification and static verification of UML models
... the verification of several control and software systems. SPINs specification language, Promela, is similar to C and supports message passing channels, essential for the modeling of distributed ...
9
Combining CSP and B for Specification and Property Verification
... given sets must be restricted to small finite sets, and integer variables must be restricted to small numeric ranges. This allows the checking to traverse all the reachable states of the machine. ProB can also be used to ...
16
Formal Specification and Verification of Real-Time Systems using Graph Grammars
... Now, the semantics of timed object-based graph grammars can be defined: it is a transition system in which states are timed states and transitions correspond to rule applications that res[r] ...
18
A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification
... of Computer Science and Engineering from Sree Visvesvaraya Institute Of Technology & Science, Chowdarpalle.. (V),Devarkadra(Mdl) ,MahabubNagar,Telangana.[r] ...
8
Specification and Verification of Agent Interaction Protocols in a Logic-based System
... A positive expetation an get fullled by a mathing event, whereas a negative expetation an get violated by.. a mathing event.[r] ...
13
Resource Sharing Between Tenants in the Cloud Using Cross Tenant Access Control (CTAC) Model: Formal Specification and Verification
... model verification using the Z3 constraint solver: we verified the CTAC model by proving the correctness of activation algorithm, delegation algorithm, forward revocation algorithm and backward revocation ...
7
Dynamic scheduling in the presence of faults : specification and verification
... and not to individual actions unlike [8.9] This rnakes it possible to use a single framervork for reasoniug, abstraction and autonatic verification [10] aud to relate scheclulability to [r] ...
20
Specification and verification of total correctness of distributed programs
... Network abstraction An important requirement for a proof system for distributed programs is that it must allow a network of processes to be described as a single abstract process, disreg[r] ...
23
Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z
... formal specification and verification ...―Z‖ specification language. Z is a state-oriented formal specification language based on set theory and predicate ...
12
Disease Management System Design Specification, System Verification and Administration [92 pages]
... The Object Dictionary component provides the formalism by which the specific clinical data sets and aggregates normally found in healthcare records and in contemporary feeder systems can[r] ...
94
Design and implementation of an integrated surface texture information system for design, manufacture and measurement
... 3. Restrictions of existing data representation methods for surface texture. It was discovered by Wang, Xu and Lu [14–16] that traditional data models such as relational and object-oriented models had limitations to ...
13
Comparison and Verification of the Performance Specification of MFL Pigs and Field Inspection Based on Error Propagation and Gaussian Distribution Method
... In order to perform the Pig result verification, corrosion profile and all defects of No 40 pipe lengths with different percentage of corrosion were selected. By means of Surface equipments (valves, flanges, ...
8
Generic description of a software document environment
... Minitracks A Thirty-Fourth Annual Hawaii International Conference on System Sciences ❑ Advances in Software Specification and Verification ❑ Agent-Based Simulation and System Dynamics ❑ [r] ...
121
Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines
... whose specification and implementations are described as stream X-machines, and since the behaviour of any generalised SXM is identical to that of the associated (standard) SXM, the same will be true of ...
11
Web Service Choreography Verification Using Z Formal Specification
... When a new requirement arises at choreography-level, it must be realized at orchestration-level. Therefore, the adaptive model must cover all choreography, and orchestration entities in different abstraction levels, and ...
9