Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18--20, 2002. Revised papers (Q1416852)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Maibaum, Tom}, In memoriam Armando Martín Haeberer. 4 January 1947 -- 11 February 2003, 1-25 [Zbl 1274.01088] \textit{Aichernig, Bernhard K.}, Contract-based testing., 34-48 [Zbl 1274.68061] \textit{Jifeng, He}, An algebraic approach to the VERILOG programming., 65-80 [Zbl 1274.68074] \textit{Hung, Dang Van}, Real-time systems development with duration calculi: an overview., 81-96 [Zbl 1274.68192] \textit{Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio}, Graph-based models of internetworking systems., 242-266 [Zbl 1274.68011] \textit{Chen, Jing; Lin, Huimin}, Making timed automata communicate., 337-351 [Zbl 1274.68226] \textit{Shankar, Natarajan}, Verification by abstraction., 367-380 [Zbl 1274.68204] \textit{Manna, Zohar; Zarba, Calogero G.}, Combining decision procedures., 381-422 [Zbl 1274.68078] \textit{Kaltenbach, Markus; Misra, Jayadev}, A theory of hints in model checking., 423-438 [Zbl 1274.68193] \textit{Kobayashi, Naoki}, Type systems for concurrent programs., 439-453 [Zbl 1274.68076]