Automatic verification of sequential infinite-state process

Descrição: A common approach in software engineering is to apply during the design phase a variety of structured techniques li... Veja mais