Encerrado

TLA+ modeling

Program:

I need someone who is proficient with TLA+/ pluscal.

Should be able to write a program in TLA+/ Pluscal.

Should know how to use the TLC model checker to check the model

Habilidades: Computação em nuvem

Sobre o Cliente:
( 2 comentários ) buffalo, United States

ID do Projeto: #27732915