Results for "formal verification"

Results for "formal verification" Showing 1 - 50 results of 320 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22formal+verification%22&type=AllFields&lng=en 320 0 50 SVA: The Power of Assertions in SystemVerilog Thu, 01 Jan 2015 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-07139-8 https://find.library.upatras.gr/Record/978-3-319-07139-8 Cerny, Eduard Electronic eBook 2015 Cerny, Eduard 0 Coordination Control of Distributed Systems Thu, 01 Jan 2015 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-10407-2 https://find.library.upatras.gr/Record/978-3-319-10407-2 Electronic eBook 2015 0 Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems / Thu, 01 Jan 2015 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-11572-6 https://find.library.upatras.gr/Record/978-3-319-11572-6 Garcia, Emilia Electronic eBook 2015 Garcia, Emilia 0 Formalisms for Reuse and Systems Integration Thu, 01 Jan 2015 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-16577-6 https://find.library.upatras.gr/Record/978-3-319-16577-6 Electronic eBook 2015 0 FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Thu, 01 Jan 2015 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-19249-9 https://find.library.upatras.gr/Record/978-3-319-19249-9 Electronic eBook 2015 0 Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-39519-7 https://find.library.upatras.gr/Record/978-3-319-39519-7 Electronic eBook 2016 0 Linear and Integer Programming Made Easy Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-24001-5 https://find.library.upatras.gr/Record/978-3-319-24001-5 Hu, T. C. Electronic eBook 2016 Hu, T. C. 0 The Mind of an Engineer Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-981-10-0119-2 https://find.library.upatras.gr/Record/978-981-10-0119-2 Electronic eBook 2016 0 Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-658-12680-3 https://find.library.upatras.gr/Record/978-3-658-12680-3 Herdt, Vladimir Electronic eBook 2016 Herdt, Vladimir 0 Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1 / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-33625-1 https://find.library.upatras.gr/Record/978-3-319-33625-1 Electronic eBook 2016 0 Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-32871-3 https://find.library.upatras.gr/Record/978-3-319-32871-3 Al-Shaer, Ehab Electronic eBook 2016 Al-Shaer, Ehab 0 Deductive Software Verification – The KeY Book From Theory to Practice / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-49812-6 https://find.library.upatras.gr/Record/978-3-319-49812-6 Electronic eBook 2016 0 Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-46982-9 https://find.library.upatras.gr/Record/978-3-319-46982-9 Electronic eBook 2016 0 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-33693-0 https://find.library.upatras.gr/Record/978-3-319-33693-0 Electronic eBook 2016 0 Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / Thu, 01 Jan 1998 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69110-5 https://find.library.upatras.gr/Record/978-3-540-69110-5 Electronic eBook 1998 0 E-Commerce and Web Technologies 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings / Thu, 01 Jan 2004 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-30077-9 https://find.library.upatras.gr/Record/978-3-540-30077-9 Electronic eBook 2004 0 Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / Wed, 01 Jan 2003 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-36384-2 https://find.library.upatras.gr/Record/978-3-540-36384-2 Electronic eBook 2003 0 Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / Wed, 01 Jan 2003 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-39893-6 https://find.library.upatras.gr/Record/978-3-540-39893-6 Electronic eBook 2003 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Electronic eBook 2003 0 Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / Tue, 01 Jan 2002 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45620-9 https://find.library.upatras.gr/Record/978-3-540-45620-9 Electronic eBook 2002 0 Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / Wed, 01 Jan 1997 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69065-8 https://find.library.upatras.gr/Record/978-3-540-69065-8 Electronic eBook 1997 0 Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / Thu, 01 Jan 1998 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-49816-2 https://find.library.upatras.gr/Record/978-3-540-49816-2 Electronic eBook 1998 0 Experimental Robotics IV The 4th International Symposium, Stanford, California, June 30 - July 2, 1995 / Wed, 01 Jan 1997 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-40942-7 https://find.library.upatras.gr/Record/978-3-540-40942-7 Electronic eBook 1997 0 SOFSEM 2001: Theory and Practice of Informatics 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / Mon, 01 Jan 2001 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45627-8 https://find.library.upatras.gr/Record/978-3-540-45627-8 Electronic eBook 2001 0 Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / Tue, 01 Jan 2002 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45657-5 https://find.library.upatras.gr/Record/978-3-540-45657-5 Electronic eBook 2002 0 Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / Sat, 01 Jan 2000 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-40006-6 https://find.library.upatras.gr/Record/978-3-540-40006-6 Electronic eBook 2000 0 Web Services, E-Business, and the Semantic Web CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers / Tue, 01 Jan 2002 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-36189-3 https://find.library.upatras.gr/Record/978-3-540-36189-3 Electronic eBook 2002 0 CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings / Sat, 01 Jan 2000 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44618-7 https://find.library.upatras.gr/Record/978-3-540-44618-7 Electronic eBook 2000 0 Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings / Mon, 01 Jan 2001 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45139-6 https://find.library.upatras.gr/Record/978-3-540-45139-6 Electronic eBook 2001 0 FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / Mon, 01 Jan 2001 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45251-5 https://find.library.upatras.gr/Record/978-3-540-45251-5 Electronic eBook 2001 0 Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings / Fri, 01 Jan 1999 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-46674-1 https://find.library.upatras.gr/Record/978-3-540-46674-1 Electronic eBook 1999 0 Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / Thu, 01 Jan 1998 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69754-1 https://find.library.upatras.gr/Record/978-3-540-69754-1 Electronic eBook 1998 0 Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / Tue, 01 Jan 2002 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-36103-9 https://find.library.upatras.gr/Record/978-3-540-36103-9 Electronic eBook 2002 0 Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-46002-2 https://find.library.upatras.gr/Record/978-3-540-46002-2 Electronic eBook 2002 0 Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings / Thu, 01 Jan 2004 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-30206-3 https://find.library.upatras.gr/Record/978-3-540-30206-3 Electronic eBook 2004 0 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / Wed, 01 Jan 1997 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69593-6 https://find.library.upatras.gr/Record/978-3-540-69593-6 Electronic eBook 1997 0 Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / Sat, 01 Jan 2000 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44659-0 https://find.library.upatras.gr/Record/978-3-540-44659-0 Electronic eBook 2000 0 Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-48166-9 https://find.library.upatras.gr/Record/978-3-540-48166-9 Electronic eBook 1999 0 Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / Thu, 01 Jan 2004 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-27815-3 https://find.library.upatras.gr/Record/978-3-540-27815-3 Electronic eBook 2004 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Electronic eBook 2004 0 Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings / Thu, 01 Jan 1998 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-49382-2 https://find.library.upatras.gr/Record/978-3-540-49382-2 Electronic eBook 1998 0 Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 / Thu, 01 Jan 1998 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-68532-6 https://find.library.upatras.gr/Record/978-3-540-68532-6 Electronic eBook 1998 0 Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / Fri, 01 Jan 1999 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-48257-4 https://find.library.upatras.gr/Record/978-3-540-48257-4 Electronic eBook 1999 0 FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings / Sat, 01 Jan 2000 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44450-3 https://find.library.upatras.gr/Record/978-3-540-44450-3 Electronic eBook 2000 0 Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-662-49674-9 https://find.library.upatras.gr/Record/978-3-662-49674-9 Electronic eBook 2016 0 NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-40648-0 https://find.library.upatras.gr/Record/978-3-319-40648-0 Electronic eBook 2016 0 Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-45477-1 https://find.library.upatras.gr/Record/978-3-319-45477-1 Electronic eBook 2016 0 Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-47846-3 https://find.library.upatras.gr/Record/978-3-319-47846-3 Electronic eBook 2016 0 Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / Fri, 01 Jan 2016 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-319-46140-3 https://find.library.upatras.gr/Record/978-3-319-46140-3 Electronic eBook 2016 0 Computer Security - ESORICS 2000 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings / Sat, 01 Jan 2000 22:23:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45299-7 https://find.library.upatras.gr/Record/978-3-540-45299-7 Electronic eBook 2000 0