Re: [isabelle] Verifying GUI applications



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

On 10/10/17 03:15, stvienna wiener wrote:
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.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.