edit SideBar

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Joint Advanced Tutorial Workshop for PhD Students

  • subject: Dependable and Secure Hardware / Software Systems
  • where: BTU, Cottbus/Germany
  • when: July 10 - 14, 2017
  • organised by:
    • BTU Cottbus-Senftenberg, Computer Science Institute
    • University of Arkansas, Computer Science and Computer Engineering Department
    • Leibniz Institute IHP, System Design Group

PART: Software Test and Validation

  • when: July 12, 2017
  • length: half day

latest update: March 10, 2019, at 09:17 AM


  • slides - Dependable Software For Embedded Systems
  • slides - Model Checking of Concurrent Systems - Part I
  • slides - Model Checking of Concurrent Systems - Part II

Petri Nets

to introduce the firing rule

Software fault tolerance

model checking example

for more examples see

Related Tools

  • Snoopy - Petri net editor and animator
  • Charlie - includes (traditional) explicit CTL model checker
  • Marcie - includes symbolic CTL model checker

the end

Any comments or questions are welcome. Please direct them to monika.heiner@b-tu.de Privacy Policy