External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity

Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim. FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. In Einar Broch Johnsen, Ina Schaefer, editors, Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Volume 10886 of Lecture Notes in Computer Science, pages 105-120, Springer, 2018. [doi]

Authors

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google

Monika Wedel

This author has not been identified. Look up 'Monika Wedel' in Google

Oleg Travkin

This author has not been identified. Look up 'Oleg Travkin' in Google

Jürgen König

This author has not been identified. Look up 'Jürgen König' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on