Email Gateway (Aug 22 2022 at 16:14): Email Gateway (Aug 22 2022 at 16:14):From: stvienna wiener <stvienna@gmail.com>
Hi,
We are verifying GUI applications from the healthcare domain (e.g.,
business processes) in Agda. Is there any related work in Isabelle? I
went through the AFP, etc. The only thing that comes close is the
workshop paper [1].
Thanks & best regards,
Stephan
[1] Lochbihler, Andreas, & Züst, Marc. (2014). Programming TLS in
Isabelle/HOL. Isabelle Wksh., Associated with ITP 2014.
Email Gateway (Aug 22 2022 at 16:14):From: Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
Hi Stephan,
Andrei Popescu et al. have a few papers on verifying web applications, e.g. Cocon and
CoSMeDis:
http://www4.in.tum.de/~popescua/rs3/CoCon.html
http://andreipopescu.uk/CoSMeDis.html
Andreas
Last updated: Apr 19 2024 at 20:15 UTC