Formal Methods for Components and Objects

DOI10.1007/11561163zbMath1143.68361OpenAlexW4298853841MaRDI QIDQ5897443

Thomas Ball

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11561163

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Test generation from event system abstractions to cover their states and transitions ⋮ Association of Under-Approximation Techniques for Generating Tests from Models ⋮ Symbolic Model-based Test Selection ⋮ Mutation-Based Test Case Generation for Simulink Models ⋮ Better Under-Approximation of Programs by Hiding Variables

Uses Software

• SLAM
• Korat

This page was built for publication: Formal Methods for Components and Objects