Publication year: 2007
ISBN: 978-3-540-70952-7
Internet Resource: Please Login to download book
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in an Industrial Setting” and by Edward A. Lee from the University of California at Berkeley on “Making C- currency Mainstream.” The former full paper can be found in this volume.
Subject: Computer Science, SPIN, algorithms, architecture, automata, communication, constraints, dependable systems, formal software development, formal specification, formal verification, model-driven development, petri net, programming, reliab, verification