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.
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.
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.
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.
J. E. Slotine & W. Li (1991):
Applied Nonlinear Control.
Prentice-Hall,
Englewood Cliffs, NJ.
Raymond Merrill Smullyan (1968):
First-order logic.
Ergebnisse der Mathematik und ihrer Grenzgebiete.
Springer, Berlin, Heidelberg,
doi:10.1007/978-3-642-86718-7.
eptcs@eptcs.org