Results for "Computer software Verification" Showing 1 - 44 results of 44 Laminas_Feed_Writer 2 (https://getlaminas.org) https://tuklas.up.edu.ph/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computer+software+Verification%22&type=Subject&lng=en 44 0 50 Asynchronous circuit applications Tue, 01 Jan 2019 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613765211 https://tuklas.up.edu.ph/Record/UP-99796217613765211 Electronic Resource 2019 0 Principles of model checking Tue, 01 Jan 2008 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217608810051 https://tuklas.up.edu.ph/Record/UP-99796217608810051 Baier, Christel Book 2008 Baier, Christel 0 Verification of systems and circuits using LOTOS, Petri Nets, and CCS Tue, 01 Jan 2008 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217608914100 https://tuklas.up.edu.ph/Record/UP-99796217608914100 Yoeli, Michael 1917- Book 2008 Yoeli, Michael 1917- 0 SysML for systems engineering a model-based approach Mon, 01 Jan 2018 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613785935 https://tuklas.up.edu.ph/Record/UP-99796217613785935 Holt, Jon Electronic Resource 2018 Holt, Jon 0 Model-based requirements engineering Sun, 01 Jan 2012 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217612476991 https://tuklas.up.edu.ph/Record/UP-99796217612476991 Holt, Jon Electronic Resource 2012 Holt, Jon 0 SysML for systems engineering a model-based approach Tue, 01 Jan 2013 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217612476992 https://tuklas.up.edu.ph/Record/UP-99796217612476992 Holt, Jon Electronic Resource 2013 Holt, Jon 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Fri, 01 Jan 2016 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613033911 https://tuklas.up.edu.ph/Record/UP-99796217613033911 Electronic Resource 2016 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 Fri, 01 Jan 2016 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613033912 https://tuklas.up.edu.ph/Record/UP-99796217613033912 Electronic Resource 2016 0 Software inspection an industry best practice Mon, 01 Jan 1996 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217603084174 https://tuklas.up.edu.ph/Record/UP-99796217603084174 Wheeler, David A. Book 1996 Wheeler, David A. 0 Independent verification and validation a life cycle engineering process for quality software Wed, 01 Jan 1992 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217603051533 https://tuklas.up.edu.ph/Record/UP-99796217603051533 Lewis, Robert O. 1938- Book 1992 Lewis, Robert O. 1938- 0 HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA Wed, 01 Jan 2014 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611899743 https://tuklas.up.edu.ph/Record/UP-99796217611899743 Book 2014 0 HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts Sun, 01 Jan 2012 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611459936 https://tuklas.up.edu.ph/Record/UP-99796217611459936 Book 2012 0 HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA Tue, 01 Jan 2013 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611459940 https://tuklas.up.edu.ph/Record/UP-99796217611459940 Book 2013 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 Thu, 01 Jan 2015 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217612770466 https://tuklas.up.edu.ph/Record/UP-99796217612770466 Electronic Resource 2015 0 Formal verification of Simulink/Stateflow diagrams a deductive approach Sun, 01 Jan 2017 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613140636 https://tuklas.up.edu.ph/Record/UP-99796217613140636 Zhan, Naijun Electronic Resource 2017 Zhan, Naijun 0 Data flow analysis theory and practice Thu, 01 Jan 2009 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217609243822 https://tuklas.up.edu.ph/Record/UP-99796217609243822 Khedker, Uday Book 2009 Khedker, Uday 0 Software engineering reviews and audits Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217610089525 https://tuklas.up.edu.ph/Record/UP-99796217610089525 Summers, Boyd L. Book 2011 Summers, Boyd L. 0 Automated validation & verification of UML/OCL models using satisfiability solvers Mon, 01 Jan 2018 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613352383 https://tuklas.up.edu.ph/Record/UP-99796217613352383 Przigoda, Nils Electronic Resource 2018 Przigoda, Nils 0 Formal system verification state-of-the-art and future trends Mon, 01 Jan 2018 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613297928 https://tuklas.up.edu.ph/Record/UP-99796217613297928 Electronic Resource 2018 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2016 Mon, 01 Jan 2018 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613314001 https://tuklas.up.edu.ph/Record/UP-99796217613314001 Electronic Resource 2018 0 Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115636 https://tuklas.up.edu.ph/Record/UP-99796217611115636 Electronic Resource 2011 0 Verification, validation and testing in software engineering Mon, 01 Jan 2007 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217608565749 https://tuklas.up.edu.ph/Record/UP-99796217608565749 Electronic Resource 2007 0 Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115665 https://tuklas.up.edu.ph/Record/UP-99796217611115665 Electronic Resource 2011 0 Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115646 https://tuklas.up.edu.ph/Record/UP-99796217611115646 Electronic Resource 2011 0 Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611115648 https://tuklas.up.edu.ph/Record/UP-99796217611115648 Electronic Resource 2011 0 Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135138 https://tuklas.up.edu.ph/Record/UP-99796217611135138 Electronic Resource 2011 0 Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135139 https://tuklas.up.edu.ph/Record/UP-99796217611135139 Electronic Resource 2011 0 Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611116144 https://tuklas.up.edu.ph/Record/UP-99796217611116144 Electronic Resource 2011 0 Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611116145 https://tuklas.up.edu.ph/Record/UP-99796217611116145 Electronic Resource 2011 0 Rigorous Software Development An Introduction to Program Verification https://tuklas.up.edu.ph/Record/UP-99796217611154662 https://tuklas.up.edu.ph/Record/UP-99796217611154662 Almeida, José Bacelar Electronic Resource Almeida, José Bacelar 0 NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135173 https://tuklas.up.edu.ph/Record/UP-99796217611135173 Electronic Resource 2011 0 Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism Sun, 01 Jan 1995 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217603068375 https://tuklas.up.edu.ph/Record/UP-99796217603068375 Rao, Josyula Ramachandra 1962- Book 1995 Rao, Josyula Ramachandra 1962- 0 Verification and validation of rule-based expert systems Fri, 01 Jan 1993 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217603084006 https://tuklas.up.edu.ph/Record/UP-99796217603084006 Smith, Suzanne 1953- Book 1993 Smith, Suzanne 1953- 0 Software verification and analysis an integrated, hands-on approach Thu, 01 Jan 2009 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217609164587 https://tuklas.up.edu.ph/Record/UP-99796217609164587 Laski, Janusz Book 2009 Laski, Janusz 0 Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Fri, 01 Jan 1993 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217602968491 https://tuklas.up.edu.ph/Record/UP-99796217602968491 Book 1993 0 Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993. Fri, 01 Jan 1993 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217602968496 https://tuklas.up.edu.ph/Record/UP-99796217602968496 Book 1993 0 Embedded software verification and debugging Sun, 01 Jan 2017 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613117937 https://tuklas.up.edu.ph/Record/UP-99796217613117937 Electronic Resource 2017 0 Formal verification of control system software Tue, 01 Jan 2019 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-8027390931312015096 https://tuklas.up.edu.ph/Record/UP-8027390931312015096 Garoche, Pierre-Loïc Electronic Resource 2019 Garoche, Pierre-Loïc 0 Languages, design methods, and tools for electronic system design selected contributions from FDL 2018 Wed, 01 Jan 2020 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613975923 https://tuklas.up.edu.ph/Record/UP-99796217613975923 Electronic Resource 2020 0 Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611095360 https://tuklas.up.edu.ph/Record/UP-99796217611095360 Electronic Resource 2011 0 Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings Sat, 01 Jan 2011 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611190056 https://tuklas.up.edu.ph/Record/UP-99796217611190056 Electronic Resource 2011 0 Verification, validation and testing in software engineering Mon, 01 Jan 2007 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-1685594773862075176 https://tuklas.up.edu.ph/Record/UP-1685594773862075176 Electronic Resource 2007 0 Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness https://tuklas.up.edu.ph/Record/UP-8027390931312009061 https://tuklas.up.edu.ph/Record/UP-8027390931312009061 Asoy, Andrei Luz B. Thesis Asoy, Andrei Luz B. 0 Program verification Wed, 01 Jan 1992 12:38:02 +0800 https://tuklas.up.edu.ph/Record/UP-1685594773861846375 https://tuklas.up.edu.ph/Record/UP-1685594773861846375 Francez, Nissim Book 1992 Francez, Nissim 0