C HOCO A Constraint Programming System Suzette Person CSCE 821 Spring 2008 1.
Research Heaven, West Virginia 1 Static Analysis of Software for Autonomous Spacecrafts Supratik Mukhopadhyay [email protected] Research Heaven, West.
Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection Anthony J H Simons and Wenwen Zhao.
8D-2
1 2-Valued and 3-Valued Abstraction- Refinement Frameworks for Model Checking Orna Grumberg Technion Haifa, Israel Tutorials at ATVA, 2009.
Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic
2-Valued and 3-Valued Abstraction-Refinement Frameworks for Model Checking
Choco A Constraint Programming System
RIACS 25th Anniversary Brochure
A Randomized Dynamic Program Analysis for Detecting Real Deadlocks