A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstrac

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 J

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was t