4 Results for all

Can't find a software application?

Submit it to OStatic

Applied Filters

quality assurance
education
electronic design automation

Filter Results

Click a filter below to apply it to results

APPLICATION TYPE
OSS (4)
CATEGORY
eda (4)
algorithms (1)
modeling (1)
ALTERNATIVE
AUDIENCE
developers (3)
scienctific research (3)
telecommunications industry (3)
manufacturing (2)
view more

peptool

0 alternatives0 reviews

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniq...

picoload

0 alternatives0 reviews

PicOload is a programmer and a bootloader that allow to program a PIC 16f87X / 16f87XA using a RS232 serial line whithout leaving the chip from his s...

gnukeda

0 alternatives0 reviews

QT-based EDA toolset for the KDE. The tools will be component library, component library editor, schematic editor, schematic checker, netlister, simul...

silicis

0 alternatives0 reviews

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...