Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)

  • Arnd Hartmanns (Creator)
  • Pedro R. D'Argenio (Contributor)
  • Sean Sedwards (Contributor)

    Dataset

    Search results

    • 2018

      Lightweight Statistical Model Checking in Nondeterministic Continuous Time

      D'Argenio, P. R., Hartmanns, A. & Sedwards, S., 2018, Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Margaria, T. & Steffen, B. (eds.). Springer, Vol. 11245. p. 336-353 18 p. (Lecture Notes in Computer Science; vol. 11245).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

      9 Citations (Scopus)