InfoQ Homepage Verification Content on InfoQ
Articles
RSS Feed-
Verification and Validation for Trustworthy Software Systems
In this IEEE article, authors discuss a continuous verification and validation of complex and safety-critical software systems using techniques like statechart assertions, runtime execution monitoring, and scenario-based testing.