Lecture Notes in Computer Science 3472

Literature 641
[ORR + 96] Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and
Mandayam K. Srivas. PVS: Combining specification, proof checking, and
model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings
of the 8th International Conference on Computer Aided Verification
(CAV 1996), volume 1102 of Lecture Notes in Computer Science, pages
411–414. Springer-Verlag, 1996. [325]
[ORS92] Sam Owre, John M. Rushby, and Natarajan Shankar. PVS: A prototype
verification system. In Deepak Kapur, editor, Proceedings of the 11th International
Conference on Automated Deduction (CADE 1992), volume 607
of Lecture Notes in Artificial Intelligence, pages 748–752. Springer-Verlag,
1992. [337]
[ORSvH95] S. Owre, J. Rushby, N. Shankar, and F. von Henke. Formal verification
of fault-tolerant architerctures: Prolegomena to the design of PVS. IEEE
Transactions on Software Engineering, 21(2):107–125, 1995. [426, 427]
[PAD + 98] Jan Peleska, Peter Amthor, Sabine Dick, Oliver Meyer, Michael Siegel, and
Cornelia Zahlten. Testing reactive real-time systems. Tutorial, held at
the 5th International Symposium on Formal Techniques in Real-Time and
Fault-Tolerant Systems (FTRTFT 1998), Denmark Technical University,
Lyngby, 1998. Updated revision. Available as http://www.informatik.unibremen.de/agbs/jp/papers/ftrtft98.ps.
[356, 357, 360, 375]
[Pap94] Christos H. Papadimitriou. Computational Complexity. Addison-Wesley,
New York, 1994. [28]
[Pat70] Michael S. Paterson. Unsolvability in 3 × 3matrices. Studies in Applied
Mathematics, 49(1):105–107, March 1970. [32]
[Pau94] Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of
Lecture Notes in Computer Science. Springer-Verlag, 1994. [328, 331]
[PBD93] A. Petrenko, G. Bochmann, and R. Dussouli. Conformance relations and
test derivation. In O. Rafiq, editor, Proceedings of the 6th International
Workshop on Protocol Test Systems (IWPTS 1993), volumeC-19ofIFIP
Transactions, pages 157–178, Pau, France, September 1993. North-Holland.
[190]
[PDGN03] H. Pals, Z. R. Dai, J. Grabowski, and H. Neukirchen. UML-based modeling
of roaming with bluetooth devices. In Chun Chen, Walter Dosch, Yuntao
Qian, and Huaizhong Lin, editors, First Hangzhou-Lübeck Conference on
Software Engineering (HL-SE’03), 2003. [506]
[Pel02] Jan Peleska. Formal methods for test automation – hard real-time testing of
controllers for the airbus aircraft family. In Proceedings of the 6th Biennial
World Conference on Integrated Design & Process Technology (IDPT 2002).
Society for Design and Process Science, June 2002. [360]
[Per98] Cecile Peraire. Formal testing of object-oriented software: From the method
to the tool. PhDthesis,École Polytechnique Fédéral de Lausanne (EPFL),
Switzerland, 1998. [349]
[PF90] David H. Pitt and David Freestone. The derivation of conformance tests
from LOTOS specifications. IEEE Transactions on Software Engineering,
16(12):1337–1343, December 1990. [163, 164, 165, 166]
[Pha91] M. Phalippou. Tveda: An experiment in computer-aided test case
generation from formal specification of protocols. Technical Note
NT/LAA/SLC/347, France Telecom – CNET, 1991. [200]