[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-DEVEL] Formal Verification Pointers




I am looking for research papers or similar endeavors (experiments) that describe the formal verification of system (infrastructure components) properties in a cloud-computing setting. This pursuit has relevance in the SaaS (Software as a Service) paradigm.

Thanks for any feedback.

Ramu