high-level formal verification
Formal Verification and Visualization of Security Policies
... a high assurance computer system design for security and safety-critical multi-enclave ...of high assurance computer systems ...each level uses the security services of a lower level or peer ...
10
Formal Verification of Autonomous Vehicle Platooning
... of high-level automotive platoon concepts and procedures including how to join and leave a platoon [3,29] in Section ...the high-level requirements on these procedures for the development of ...
19
Framework for the Formal Specification and Verification of Security Guidelines
... Security Knowledge Base Security Knowledge Base is a centralized repository gathering the labels of the formulas mapped to APIs, instructions, libraries or programs. This helps the automatic detection of la- bels on the ...
11
Correct model to model transformation for formal verification
... these formal notations have preferences such as use with theorem provers, constraint solvers (Alloy analyser [Nimiya et ...MDD-based high-level software concepts such as abstraction and not ...
422
A formal method framework for automated verification of a deaerator system
... Deaerator of a power plant is one of the important components for feed-water system. It is a feed-water heater which is widely used for remove entrained air that contained oxygen and carbon dioxide, . The example of ...
24
Formal verification techniques using quantum process calculus
... There are a number of challenges involved in designing the labelled transition system when it comes to the representation of quantum information due to its non- local nature, and the related work by Feng et al. [2006]; ...
207
JIT trace based verification for high level synthesis
... input high level sources and the output RTL [2], ...underlying formal verification to ensure that all compilation transformations are provably ...
5
Formal Verification of Autonomous Vehicle Platooning
... safety verification of controllers, the aim of our study is just to verify the high-level autonomous decision-making component of the hybrid ...addresses verification of the coordination for ...
46
sel4: Formal Verification of an OS Kernel
... machine-checked verification of the seL4 mi- crokernel from an abstract specification down to its C ...fuses formal and oper- ating systems ...first formal proof of functional correctness of a ...
18
Context-aware approach for formal verification
... a high level formalism of CDL to facilitate specifying contexts based on interaction overview diagrams that orchestrate activity diagrams automatically transformed from textual use ...and formal ...
10
Formal Verification of Authenticated AODV Protocol using AVISPA
... of formal verification tools are used to verify the model, security properties and various other aspects of the ad hoc routing ...timing high level Petri Nets) in [3] to verify the correctness ...
6
Formal Verification of a Microfluidic Device for Blood Cell Separation
... and verification techniques such as formal method are often ...used. Formal methods, in particular, model check- ing, involve a systematic analysis that is based on mathematical reasoning to verify ...
9
Towards the formal verification of human-agent-robot teamwork
... a high level of abstraction, where capabilities of agents can be ...This high level of abstraction, which matches requirement 1, allows for easier modelling of humans because we can assume ...
439
A. Web Service Business Process Execution Language
... Formal verification technique has to depict all of the behaviors of application. If an individual web service is the service provided by an outside service provider, the designers could only catch its ...
6
Formal Verification of Device Discovery Mechanism using UPPAAL
... exits. Formal verification is one of the technique used to validate and verify the correctness of any ...the verification tool UPPAAL a Bluetooth ad hoc system is modeled to formally verify the ...
6
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
... PCTL verification is taken into account by [34] through modelling systems as IDTMCs interpreted semantically as either uncertain Markov chains (UMCs) or interval Markov decision processes ...
21
Evaluation of stakeholder relationship marketing : a paradigm in practice : a 156 899 thesis submitted to Massey University at Albany in fulfilment of the requirements for the degree of Master of Business Studies (MBS) in Marketing,
... Results from this study suggest a stakeholder relationship marketing strategy with a high level of informal market planning involvement, and a high level of formal marketing communicatio[r] ...
156
Formal Property Verification of Counter FSM and I2C
... of verification is to check and correct the defects in circuits, errors in programs and finally to get the defect free ...term verification means “It is the process which is used to reveal that the purpose ...
6
Formal Verification of Robertson Type Uncertainty Relation
... The formal verification is considered valid at information theory which is a branch of mathematical ...formally verification of integrity between coding and decoding algorithms and the software ...
13
Modelling and Verification of a Shortest Path Tree Protocol for Wireless Sensor Networks : Towards a Platform for Formal Verification Experiments
... for formal verification experiments with WSN protocols would be very ...automatic verification framework for the development of WSN protocols, but this is based on testing and test case generation, ...
231