TY - BOOK ID - 7911785 TI - FM 2011 : formal methods : 17th International Symposium on Formal Methods : Limerick, Ireland, June 20-24, 2011 : proceedings AU - Butler, Michael. AU - Schulte, Wolfram. AU - International Symposium of Formal Methods Europe PY - 2011 SN - 3642214363 3642214371 PB - New York : Springer, DB - UniCat KW - Engineering & Applied Sciences KW - Computer Science KW - Information Technology KW - Software Engineering KW - Computer software KW - Formal methods (Computer science) KW - System design KW - Development KW - Mathematics KW - Design, System KW - Systems design KW - Computer science. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Management information systems. KW - Computer Science. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Mathematical Logic and Formal Languages. KW - Management of Computing and Information Systems. KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Management KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Communication systems KW - Programming KW - System analysis KW - Logic design. KW - Information Systems. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:7911785 AB - This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. ER -