Assertion Checking of Behavioral Descriptions with Non-linear Solver - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Iñigo Ugarte, Pablo Sanchez. Assertion Checking of Behavioral Descriptions with Non-linear Solver. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 229-231, IEEE Computer Society, 2005. [doi]

The following publications are possibly variants of this publication:

Assertion-based Verification of Behavioral Descriptions with Non-linear SolverIñigo Ugarte, Pablo Sanchez. hldvt 2006: 61-68 [doi]

Assertion checking of control dominated systems with nonlinear solversIñigo Ugarte, Pablo Sanchez. memocode 2006: 200 [doi]

runs on WebDSL