Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. It can be used to model and verify finite and infinite state systems, at varied abstraction levels. It is useful for hardware design, modeling communication protocols, concurrent programs, software in embedded systems, and more.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.