تفاصيل الكتاب

978-3-540-34455-1

Formal Approaches to Software Testing (vol. # 3997)

Publish Date: 2006

ISBN: 978-3-540-34455-1

Internet Resource: Please Login to download book


This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.


Subject: Computer Science, Markov chains, Resolution, abstract state machines, automata, constraint resolution, correct systems design, correctness proofs, finite state machines, formal methods, formal testing, interactive testing, model checking, real-time, testing, theorem proving