00000cmm a22000004i 4500 UP-99796217611135173 Buklod 20140301113213.0 m go j cr |n |||auu|a 110406s2011 xx u | eng d 9783642203985 (eBook) 3642203981 (eBook) (iLib)UPD-00214604184 DML eng DMLUC QA 76.9 F67 N46 2011eb NASA formal methods [electronic resource] third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Mihaela Bobaru... [et al.], editors. Berlin New York Springer c2011. 1 online resource (xiv, 534 p.) ill. Lecture Notes in Computer Science 6617 IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Formal methods (Computer science) Congresses. Fault-tolerant computing Congresses. Computer software Verification Congresses. System analysis Congresses. Electronic books. Bobaru, Mihaela. SpringerLink (Online service). Available for University of the Philippines Diliman via SpringerLink. Click here to access http://link.springer.com/book/10.1007/978-3-642-20398-5 FO Monograph UPD DMLR Electronic Resource