Программы coho.sf.net

Coho является платформой анализа доступности для высокомерных, нелинейных гибридных систем, особенно для аналоговой проверки цепи. Этот инструмент был применен для проверки многих схем, в том числе переключатель, арбитр, флип