Formal validation of transformation schemata

1992 ◽  
pp. 97-110 ◽  
Author(s):  
Mattias Waldau
Keyword(s):  
Formal Validation

Formal validation of fault management design solutions

2014 ◽  
Vol 39 (1) ◽  
pp. 1-5 ◽  
Author(s):  
Corrina Gibson ◽  
Robert Karban ◽  
Luigi Andolfato ◽  
John Day
Keyword(s):  
Fault Management ◽  
Formal Validation ◽  
Design Solutions

scholarly journals Polychronous automata and their use for formal validation of AADL models

2019 ◽  
Vol 13 (4) ◽  
pp. 677-697 ◽  
Author(s):  
Thierry Gautier ◽  
Clément Guy ◽  
Alexandre Honorat ◽  
Paul Le Guernic ◽  
Jean-Pierre Talpin ◽  
...  
Keyword(s):  
Formal Validation

Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol for Ad hoc network

2021 ◽  
Vol 17 (2) ◽  
pp. 0-0
Keyword(s):  
Routing Protocol ◽  
Formal Specification ◽  
Ad Hoc ◽  
Main Concern ◽  
New Approach ◽  
Formal Validation ◽  
Multi Agent ◽  
Hoc Networks ◽  
Inference Systems ◽  
Logical Rules

In our previous papers, a new Ant Routing Protocol for Ad-hoc Networks inspired from ant colony optimization was presented. We introduced a new approach which decreases both of nodes energy consumption and routing overhead within the network. The validation of our routing protocol was based on series of simulation. The results show that our new algorithm provides a significant improvement compared to other protocols. After the algorithm is defined and published, we have found important to validate formally each one of its components in order to avoid any conflict, lack or misbehaving situations. This process requires in a first step a formal specification. This is our main concern in this paper where we propose in a first part a formal specification using inference systems based on logical rules. A formal validation using these inference systems is proposed in a second step in order to prove the correctness, the soundness, the completeness and the optimality of the proposition.

Formal Validation of a Security Mechanism against the RSU Compromise Attack

2021 ◽  
Author(s):  
Ons Chikhaoui ◽  
Ryma Abassi ◽  
Aida Ben Chehida Douss ◽  
Sihem Guemara El Fatmi
Keyword(s):  
Security Mechanism ◽  
Formal Validation

Formal Validation of OFEPSP+ with AVISPA

2009 ◽  
pp. 124-137 ◽  
Author(s):  
Jorge L. Hernandez-Ardieta ◽  
Ana I. Gonzalez-Tablas ◽  
Benjamin Ramos
Keyword(s):  
Formal Validation
Sign in / Sign up

Export Citation Format

Share Document