Update information on benchmark files

67c90eca · Fabian Vu · b452379e · 67c90eca · 67c90eca · 67c90eca
Commit 67c90eca authored 7 months ago by Fabian Vu
--- a/benchmarks/code_gen/nota_v2.mch
+++ b/benchmarks/code_gen/nota_v2.mch
+/*
+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


--- a/benchmarks/model_checking/ProB/nota_v2.mch
+++ b/benchmarks/model_checking/ProB/nota_v2.mch
+/*
+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


--- a/benchmarks/model_checking/TLC/nota_v2.mch
+++ b/benchmarks/model_checking/TLC/nota_v2.mch
+/*
+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


--- a/benchmarks/model_checking_opreuse/ProB/nota.mch
+++ b/benchmarks/model_checking_opreuse/ProB/nota.mch
+/*
+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 */

--- a/benchmarks/model_checking_opreuse/ProB/nota_v2.mch
+++ b/benchmarks/model_checking_opreuse/ProB/nota_v2.mch
+/*
+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


--- a/benchmarks/model_checking_opreuse/TLC/nota.mch
+++ b/benchmarks/model_checking_opreuse/TLC/nota.mch
+/*
+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 */

--- a/benchmarks/model_checking_opreuse/TLC/nota_v2.mch
+++ b/benchmarks/model_checking_opreuse/TLC/nota_v2.mch
+/*
+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