Overview
QEMU4V ("QEMU for Verification") is an open source emulator for assembler programs that is based on QEMU project. The tool performs emulation for programs of several hardware architectures and provides some features (tracing, etc.) for system verification of microprocessors.
Latest news
QEMU4V 0.3.6 released
QEMU4V 0.3.6 has been released.
QEMU4V 0.3.5 released
QEMU4V 0.3.5 has been released.
QEMU4V 0.3.4 released
QEMU4V 0.3.4 has been released
QEMU4V 0.3.3 released
QEMU4V 0.3.3 has been released.
QEMU4V 0.3.2 released
QEMU4V 0.3.2 has been released.
Members
Manager: Alexander Kamkin, Sergey Smolov
Developer: Alexander Protsenko, Alexander Kamkin, Artem Kotsynyak, Mikhail Chupilko, Mikhail Lebedev
Project Creator: Alexander Kamkin, Sergey Smolov