Name
Title | ||
|---|---|---|
Handling B models in the PERF integrated verification framework: Formalised and certified embedding |
Abstract | ||
|---|---|---|
•Formal verification of system design models.•Non intrusive formal verification and validation of heterogeneous models.•Isabelle/HOL based certification of transformation of B formal models to HLL formal models.•Application to railway systems. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1016/j.scico.2020.102477 | Science of Computer Programming |
Keywords | DocType | Volume |
B method,HLL,Isabelle/HOL,Refinement and proofs,Certification | Journal | 196 |
ISSN | Citations | PageRank |
0167-6423 | 0 | 0.34 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexandra Halchin | 1 | 0 | 0.34 |
| Yamine Aït Ameur | 2 | 287 | 52.61 |
| Neeraj Kumar Singh | 3 | 113 | 21.89 |
| Julien Ordioni | 4 | 0 | 1.35 |
| Abderrahmane Feliachi | 5 | 0 | 0.34 |