![Theoretical computer science / Model checkers / Logic in computer science / NuSMV / Model checking / Formal verification / Domain-specific language / Programming language / Feature model / Formal methods / Software / Mathematics Theoretical computer science / Model checkers / Logic in computer science / NuSMV / Model checking / Formal verification / Domain-specific language / Programming language / Feature model / Formal methods / Software / Mathematics](https://www.pdfsearch.io/img/31f8cdfee4fc6d168e87746a41bee070.jpg)
| Open Document File Size: 570,64 KBShare Result on Facebook
Company Springer-Verlag New York Inc. / / / Facility Carnegie Mellon University / / IndustryTerm software engineering / state transition systems / polynomial time algorithms / dependable interactive systems / embedded software development / formal verification tools / similar tools / verification tools / software developers / analysis tools / type systems / opensource tool / mbeddr technology stack rests / formal analysis tool / real-world systems / mbeddr technology stack / language engineering technologies / verification tool / / Organization Physical Units Decision Tables Components State-machines Unit / Carnegie Mellon University / National Aeronautics and Space Administration / / Person Bernd Kolb / Markus Voelter / Bernhard Schaetz / Daniel Ratiu / / Position guard / projectional editor / General / / ProgrammingLanguage Ada / Java / C / Simulink / C++ / / Technology Java / mbeddr Technology / polynomial time algorithms / DSL / language engineering technologies / / URL http /
SocialTag |