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.
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.
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.
Paolo Masci (2019 (to appear)):
Experiences on Streamlining Formal Methods Tools.
In: International Workshop on Practical Formal Verification for Software Dependability (AFFORD'19).
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.
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.
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.
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.
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.
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 https://pvs.csl.sri.com/doc/pvs-system-guide.pdf.
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.
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.
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.
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.
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.
Florian Rabe (2014):
A Logic-Independent IDE.
Electronic Proceedings in Theoretical Computer Science 167,
pp. 48–60,
doi:10.4204/eptcs.167.7.
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.