tatam

Crates.iotatam
lib.rstatam
version0.3.6
sourcesrc
created_at2023-11-24 14:13:43.614616
updated_at2024-06-24 08:52:55.611647
descriptionTheory And Time Analysis Machine
homepage
repositoryhttps://github.com/DavidD12/tatam
max_upload_size
id1047036
size420,869
(DavidD12)

documentation

README

Transition And Theory Analysis Machine

Install

  1. Install Rust: Rust
  2. Install z3

Ubuntu

xxx@XXX:~$ sudo apt install z3
  1. Install tatam:
xxx@XXX:~$ cargo install tatam

Example

cst x: Int
var y: Int

init inits {
    y = 0
}

inv invariants {
    x > y
}

trans tr_inc {
    y < 10 and y' = y + 1
}

trans tr_loop {
    y >= 10 and y' = 0
}

prop = G(F (y = 1))

search infinite solve

Commit count: 22

cargo fmt