From 67c90eca035655183019ba61390cffea4923a889 Mon Sep 17 00:00:00 2001 From: Fabian Vu <Fabian.Vu@hhu.de> Date: Sun, 24 Nov 2024 23:02:08 +0100 Subject: [PATCH] Update information on benchmark files --- benchmarks/code_gen/nota_v2.mch | 4 ++++ benchmarks/model_checking/ProB/nota_v2.mch | 4 ++++ benchmarks/model_checking/TLC/nota_v2.mch | 4 ++++ benchmarks/model_checking_opreuse/ProB/nota.mch | 3 +++ benchmarks/model_checking_opreuse/ProB/nota_v2.mch | 4 ++++ benchmarks/model_checking_opreuse/TLC/nota.mch | 3 +++ benchmarks/model_checking_opreuse/TLC/nota_v2.mch | 4 ++++ 7 files changed, 26 insertions(+) diff --git a/benchmarks/code_gen/nota_v2.mch b/benchmarks/code_gen/nota_v2.mch index 62b04c894..6d9a12175 100644 --- a/benchmarks/code_gen/nota_v2.mch +++ b/benchmarks/code_gen/nota_v2.mch @@ -1,3 +1,7 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +Simplified version for B2Program +*/ MACHINE nota_v2 // a simplified version of nota for B2Program diff --git a/benchmarks/model_checking/ProB/nota_v2.mch b/benchmarks/model_checking/ProB/nota_v2.mch index 457bf8b83..b8661b70d 100644 --- a/benchmarks/model_checking/ProB/nota_v2.mch +++ b/benchmarks/model_checking/ProB/nota_v2.mch @@ -1,3 +1,7 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +Simplified version for B2Program +*/ MACHINE nota_v2 // a simplified version of nota for B2Program diff --git a/benchmarks/model_checking/TLC/nota_v2.mch b/benchmarks/model_checking/TLC/nota_v2.mch index 457bf8b83..b8661b70d 100644 --- a/benchmarks/model_checking/TLC/nota_v2.mch +++ b/benchmarks/model_checking/TLC/nota_v2.mch @@ -1,3 +1,7 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +Simplified version for B2Program +*/ MACHINE nota_v2 // a simplified version of nota for B2Program diff --git a/benchmarks/model_checking_opreuse/ProB/nota.mch b/benchmarks/model_checking_opreuse/ProB/nota.mch index 8ebb4bbb0..78b728b87 100644 --- a/benchmarks/model_checking_opreuse/ProB/nota.mch +++ b/benchmarks/model_checking_opreuse/ProB/nota.mch @@ -1,3 +1,6 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +*/ MACHINE nota /* these represent the classes */ diff --git a/benchmarks/model_checking_opreuse/ProB/nota_v2.mch b/benchmarks/model_checking_opreuse/ProB/nota_v2.mch index 62b04c894..6d9a12175 100644 --- a/benchmarks/model_checking_opreuse/ProB/nota_v2.mch +++ b/benchmarks/model_checking_opreuse/ProB/nota_v2.mch @@ -1,3 +1,7 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +Simplified version for B2Program +*/ MACHINE nota_v2 // a simplified version of nota for B2Program diff --git a/benchmarks/model_checking_opreuse/TLC/nota.mch b/benchmarks/model_checking_opreuse/TLC/nota.mch index 8ebb4bbb0..78b728b87 100644 --- a/benchmarks/model_checking_opreuse/TLC/nota.mch +++ b/benchmarks/model_checking_opreuse/TLC/nota.mch @@ -1,3 +1,6 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +*/ MACHINE nota /* these represent the classes */ diff --git a/benchmarks/model_checking_opreuse/TLC/nota_v2.mch b/benchmarks/model_checking_opreuse/TLC/nota_v2.mch index 62b04c894..6d9a12175 100644 --- a/benchmarks/model_checking_opreuse/TLC/nota_v2.mch +++ b/benchmarks/model_checking_opreuse/TLC/nota_v2.mch @@ -1,3 +1,7 @@ +/* +I. Oliver. Experiences in Using B and UML in Industrial Development. In Proceedings Formal Specification and Development in B, B’07, page 248–251, 2007. +Simplified version for B2Program +*/ MACHINE nota_v2 // a simplified version of nota for B2Program -- GitLab