Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment

Alvis is a formal modelling language developed primarily for modelling concurrent systems including real-time systems. The prepared model is compiled, and the resulting runnable model allows, e.g., to generate the state space and to verify the model using model checking techniques. The default versi...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолчид:	Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich
Формат:	Artigo
Хэл сонгох:	Inglês
Хэвлэсэн:	IEEE 2022-01-01
Цуврал:	IEEE Access
Нөхцлүүд:	Alvis language discrete-time systems formal languages single-processor hardware system analysis and design system verification
Онлайн хандалт:	https://ieeexplore.ieee.org/document/9903617/
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!