1. Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri & Sergio Saponara (2020): Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm. Energies 13(16), pp. 4057, doi:10.3390/en13164057.
  2. Andrea Domenici, Adriano Fagiolini & Maurizio Palmieri (2018): Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. In: Antonio Cerone & Marco Roveri: Software Engineering and Formal Methods, Lecture Notes in Computer Science 10729. Springer International Publishing, Cham, pp. 300–314, doi:10.1007/978-3-319-74781-1_21.
  3. Bruno Dutertre (1996): Elements of mathematical analysis in PVS. In: Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy & John Harrison: Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science 1125. Springer Berlin Heidelberg, pp. 141–156, doi:10.1007/BFb0105402.
  4. S. Owre, S. Rajan, J. Rushby, N. Shankar & M. Srivas (1996): PVS: combining specification, proof checking, and model checking. In: R. Alur & T.A. Henzinger: Computer-Aided Verification, CAV '96, LNCS 1102. Springer-Verlag, pp. 411–414, doi:10.1007/3-540-61474-5_91.
  5. J. E. Slotine & W. Li (1991): Applied Nonlinear Control. Prentice-Hall, Englewood Cliffs, NJ.
  6. Raymond Merrill Smullyan (1968): First-order logic. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, Berlin, Heidelberg, doi:10.1007/978-3-642-86718-7.

Comments and questions to:
For website issues: