Varphi Programs
Last updated
Was this helpful?
Last updated
Was this helpful?
Varphi programs are extemely simple. They consist of , separated by newlines. They can also include .
Varphi supports both deterministic and . Nondeterministic programs have two or more lines with the same condition, but with different instructions.