1. David Aspinall (2000): Proof General: A generic tool for proof development. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 38–43, doi:10.1007/3-540-46419-0_3.
  2. Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp & André Platzer (2015): KeYmaera X: An axiomatic tactical theorem prover for hybrid systems. In: International Conference on Automated Deduction. Springer, pp. 527–538, doi:10.1007/978-3-319-21401-6_36.
  3. K Rustan M Leino (2010): Dafny: An automatic program verifier for functional correctness. In: International Conference on Logic for Programming Artificial Intelligence and Reasoning. Springer, pp. 348–370, doi:10.1007/978-3-642-17511-4_20.
  4. Paolo Masci (2019 (to appear)): Experiences on Streamlining Formal Methods Tools. In: International Workshop on Practical Formal Verification for Software Dependability (AFFORD'19).
  5. Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul Jones, Paul Curzon & Harold Thimbleby (2015): PVSio-web 2.0: Joining PVS to HCI. In: International Conference on Computer Aided Verification. Springer, pp. 470–478, doi:10.1007/978-3-319-21690-4_30.
  6. Paolo Masci, Yi Zhang, Paul Jones, Paul Curzon & Harold Thimbleby (2014): Formal verification of medical device user interfaces using PVS. In: International Conference on Fundamental Approaches to Software Engineering. Springer, pp. 200–214, doi:10.1007/978-3-642-54804-8_14.
  7. Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris Van Doorn & Jakob von Raumer (2015): The Lean theorem prover (System Description). In: International Conference on Automated Deduction. Springer, pp. 378–388, doi:10.1007/978-3-319-21401-6_26.
  8. César A Muñoz (2003): Rapid prototyping in PVS. Technical Report. NASA/CR-2003-212418, NIA Report No. 2003-03. Available at
  9. César A. Muñoz & Ramiro A. Demasi (2012): Advanced Theorem Proving Techniques in PVS and Applications. In: Bertrand Meyer & Martin Nordio: Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 96–132, doi:10.1007/978-3-642-35746-6_4.
  10. Sam Owre, John M Rushby & Natarajan Shankar (1992): PVS: A Prototype Verification System. In: International Conference on Automated Deduction. Springer, pp. 748–752, doi:10.1007/3-540-55602-8_217.
  11. Sam Owre, Natarajan Shankar, John M Rushby & David WJ Stringer-Calvert (1999): PVS system guide. Technical Report. Computer Science Laboratory, SRI International, Menlo Park, CA. Available at
  12. M. Palmieri, C. Bernardeschi & P. Masci (2019): A Framework for FMI-based Co-Simulation of Human-Machine Interfaces. Software and Systems Modeling, doi:10.1007/s10270-019-00754-9.
  13. Maurizio Palmieri, Cinzia Bernardeschi & Paolo Masci (2018): Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. In: Antonio Cerone & Marco Roveri: Software Engineering and Formal Methods. Springer International Publishing, pp. 423–437, doi:10.1007/978-3-319-74781-1_29.
  14. Grant Olney Passmore & Denis Ignatovich (2017): Formal verification of financial algorithms. In: International Conference on Automated Deduction. Springer, pp. 26–41, doi:10.1007/978-3-319-63046-5_3.
  15. Clément Pit-Claudel & Pierre Courtieu (2016): Company-Coq: Taking Proof General one step closer to a real IDE. In: CoqPL'16: The Second International Workshop on Coq for PL. Zenodo, doi:10.5281/zenodo.44331.
  16. André Platzer & Jan-David Quesel (2008): KeYmaera: A hybrid theorem prover for hybrid systems. In: International Joint Conference on Automated Reasoning. Springer, pp. 171–178, doi:10.1007/978-3-540-71070-7_15.
  17. Florian Rabe (2014): A Logic-Independent IDE. Electronic Proceedings in Theoretical Computer Science 167, pp. 48–60, doi:10.4204/eptcs.167.7.
  18. Makarius Wenzel (2012): Isabelle/jEdit: A Prover IDE within the PIDE framework. In: International Conference on Intelligent Computer Mathematics. Springer, pp. 468–471, doi:10.1007/978-3-642-31374-5_38.
  19. Makarius Wenzel (2018): Isabelle/PIDE after 10 years of development. In: UITP workshop: User Interfaces for Theorem Provers. Available at https://sketis. net/wp-content/uploads/2018/08/isabellepide-uitp2018.pdf.

Comments and questions to:
For website issues: