Skip to content

From Pthreads to Petri Nets

Lars Nitzke edited this page Dec 17, 2018 · 6 revisions

Tasks

  • Setup repository for everything.
  • Writing the proposal.
  • Find one or more good examples that represent all of the features of pthreads we support.

Proposal

Should list the content of the Bachelor-Thesis and how I'm going to write it.

Bachelor-Thesis

  1. Abstract - Summerizes the Bachelor-Thesis.
  2. Contents Page
  3. Notation and terminology - Is an ongoing process while writing the Bachelor-Thesis
  4. Introduction - What are pthreads and petri nets. What is the purpose of it. Maybe a short example to arouse the interest of the reader. Why are we translating it from pthreads to petri nets. Problem: How can we represent a control flow of a program, if it is not fixed at compile time?
  5. Pthreads - How they work and how they can be used. Also includes syntax of the from ultimate supported features.
  6. Boogie - Short overview what boogie is and how we use it. (May include some example syntax of a boogie program)
  7. Boogie extension - fork, join Statement
  8. Petri Nets - Why we use petri nets. How we represent a program with petri nets.
  9. CFG - Translation from boogie to cfg. Describe how we use CFG's and how we define them. Shows the overapproximation of join edges. Explain why we need that overapproximation.
  10. Conclusions
  11. Future work
  12. (List of tables/figures/definitions - Optional)
  13. References
Clone this wiki locally