Sara Van Langenhove

Protocol Conformance through Refinement Mappings in Cadence SMV

Sara Van Langenhove, 2005 .

SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts

Albert Hoogewijs, Sara Van Langenhove, 2006, WADT.

Towards the Correctness of Software Behavior in UML: A Model Checking Approach Based on Slicing

Sara Van Langenhove, 2006 .

Integrating Cadence SMV in the Verification of UML Software

Albert Hoogewijs, Sara Van Langenhove, 2004 .

UML-Based Approach to Developing Verified Embedded Software

Sara Van Langenhove, 2005 .

UML based Verification of Software

Albert Hoogewijs, Benjamin De Leeuw, Sara Van Langenhove, 2004 .