Descriptions about Model Based Testing.

To learn more about tla+.

• TLA+
• Model extraction
• Modelator

fn main() {
    println!("hello world!");
}

fn main() {
    println!("hello world!");
}

Hello world to everyone!

Table of contents

• Tla+
• Model extraction
• Modelator