model-checking

5El calor

3Respuesta

¿Herramienta para el control de modelos de proyectos grandes y distribuidos de C++ como KDE?

¿Existe alguna herramienta que pueda manejar el modelo de comprobación de sistemas distribuidos grandes, del mundo real, mayormente C++, como KDE? (KDE es un sistema distribuido en el sentido de que u

c++ static-analysis formal-methods formal-verification model-checking 2010-11-10

---