Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.

Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh

Browse the full FASE paper archive.