diff --git a/benchmarks/code_gen/nota_v2.mch b/benchmarks/code_gen/nota_v2.mch index 62b04c894ec187289c298f92c2828edf0ad21a2c..6d9a121751c39ec366061c6953c48d14d82cddd3 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 457bf8b83cf98774bdaa65391ab4bdae72edf43e..b8661b70daac812fec9e9263e7a321df45e77b61 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 457bf8b83cf98774bdaa65391ab4bdae72edf43e..b8661b70daac812fec9e9263e7a321df45e77b61 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 8ebb4bbb007dcadc9bc19b155e32b92b5d86a125..78b728b8766a8afec988246097ee8fd6b9739656 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 62b04c894ec187289c298f92c2828edf0ad21a2c..6d9a121751c39ec366061c6953c48d14d82cddd3 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 8ebb4bbb007dcadc9bc19b155e32b92b5d86a125..78b728b8766a8afec988246097ee8fd6b9739656 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 62b04c894ec187289c298f92c2828edf0ad21a2c..6d9a121751c39ec366061c6953c48d14d82cddd3 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