Formal Methods: State of the Art and New Directions

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contr...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Boca, Paul (Επιμελητής έκδοσης), Bowen, Jonathan P. (Επιμελητής έκδοσης), Siddiqi, Jawed (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: London : Springer London : Imprint: Springer, 2010.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Domain Engineering
  • Program Verification and System Dependability
  • The Abstract State Machines Method for High-Level System Design and Analysis
  • Applications and Methodology of ?Z
  • The Computer Ate My Vote
  • Formal Methods for Biochemical Signalling Pathways
  • Separation Logic and Concurrency
  • Programming Language Description Languages.