On the Formal Verification of Systems of Synchronous Software Components.
Henning GüntherStefan MiliusOliver MöllerPublished in: SAFECOMP (2012)
Keyphrases
- software components
- formal verification
- software systems
- building blocks
- software development
- software reuse
- automated verification
- model checking
- software engineers
- java programs
- commercial off the shelf
- web services
- software modules
- reusable components
- distributed systems
- software engineering
- reinforcement learning
- reverse engineering
- information systems
- machine learning