Αποτελέσματα για "symbolic model checking"

Αποτελέσματα για "symbolic model checking" Εμφανίζονται 1 - 50 Αποτελέσματα από 76 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22symbolic+model+checking%22&type=AllFields&lng=el 76 0 50 Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / Fri, 01 Jan 2016 03:32:13 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Herdt, Vladimir 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 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / Tue, 01 Jan 2002 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45657-5 https://find.library.upatras.gr/Record/978-3-540-45657-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Agent-Oriented Software Engineering III Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / Wed, 01 Jan 2003 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-36540-2 https://find.library.upatras.gr/Record/978-3-540-36540-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / Mon, 01 Jan 2001 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-44585-2 https://find.library.upatras.gr/Record/978-3-540-44585-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Advances in Databases and Information Systems 5th East European Conference, ADBIS 2001, Vilnius, Lithuania September 25-28, 2001 Proceedings / Mon, 01 Jan 2001 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-44803-7 https://find.library.upatras.gr/Record/978-3-540-44803-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings / Mon, 01 Jan 2001 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45139-6 https://find.library.upatras.gr/Record/978-3-540-45139-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / Tue, 01 Jan 2002 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45610-0 https://find.library.upatras.gr/Record/978-3-540-45610-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / Wed, 01 Jan 1997 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-68330-8 https://find.library.upatras.gr/Record/978-3-540-68330-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 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 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-46002-2 https://find.library.upatras.gr/Record/978-3-540-46002-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-30206-3 https://find.library.upatras.gr/Record/978-3-540-30206-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings / Fri, 01 Jan 1999 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48320-5 https://find.library.upatras.gr/Record/978-3-540-48320-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings / Fri, 01 Jan 1999 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-49059-3 https://find.library.upatras.gr/Record/978-3-540-49059-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computational Methods in Systems Biology First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 / Wed, 01 Jan 2003 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-36481-8 https://find.library.upatras.gr/Record/978-3-540-36481-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings / Sat, 01 Jan 2000 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-44957-7 https://find.library.upatras.gr/Record/978-3-540-44957-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / Fri, 01 Jan 2016 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-319-33600-8 https://find.library.upatras.gr/Record/978-3-319-33600-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Information Networking: Wired Communications and Management Wired Communications and Management / Tue, 01 Jan 2002 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45803-6 https://find.library.upatras.gr/Record/978-3-540-45803-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / Fri, 01 Jan 1999 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48683-1 https://find.library.upatras.gr/Record/978-3-540-48683-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Wed, 01 Jan 2003 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45069-6 https://find.library.upatras.gr/Record/978-3-540-45069-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / Thu, 01 Jan 2004 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-40903-8 https://find.library.upatras.gr/Record/978-3-540-40903-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings / Fri, 01 Jan 1999 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48778-4 https://find.library.upatras.gr/Record/978-3-540-48778-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I / Fri, 01 Jan 1999 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48119-5 https://find.library.upatras.gr/Record/978-3-540-48119-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Thu, 01 Jan 1998 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69339-0 https://find.library.upatras.gr/Record/978-3-540-69339-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / Sat, 01 Jan 2000 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-40922-9 https://find.library.upatras.gr/Record/978-3-540-40922-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings / Tue, 01 Jan 2002 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45988-0 https://find.library.upatras.gr/Record/978-3-540-45988-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Sat, 01 Jan 2000 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-46419-8 https://find.library.upatras.gr/Record/978-3-540-46419-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings / Sat, 01 Jan 2000 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-46562-1 https://find.library.upatras.gr/Record/978-3-540-46562-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / Fri, 01 Jan 1999 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48153-9 https://find.library.upatras.gr/Record/978-3-540-48153-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Wed, 01 Jan 1997 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69195-2 https://find.library.upatras.gr/Record/978-3-540-69195-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings / Wed, 01 Jan 1997 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69530-1 https://find.library.upatras.gr/Record/978-3-540-69530-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / Mon, 01 Jan 2001 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-44798-6 https://find.library.upatras.gr/Record/978-3-540-44798-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Mon, 01 Jan 2001 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45319-2 https://find.library.upatras.gr/Record/978-3-540-45319-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / Sat, 01 Jan 2000 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45047-4 https://find.library.upatras.gr/Record/978-3-540-45047-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / Thu, 01 Jan 1998 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-49519-2 https://find.library.upatras.gr/Record/978-3-540-49519-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / Wed, 01 Jan 1997 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69194-5 https://find.library.upatras.gr/Record/978-3-540-69194-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / Fri, 01 Jan 2016 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-319-46520-3 https://find.library.upatras.gr/Record/978-3-319-46520-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Thu, 01 Jan 2015 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-662-46681-0 https://find.library.upatras.gr/Record/978-3-662-46681-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / Thu, 01 Jan 2015 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-662-48561-3 https://find.library.upatras.gr/Record/978-3-662-48561-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Transactions on Petri Nets and Other Models of Concurrency X Thu, 01 Jan 2015 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-662-48650-4 https://find.library.upatras.gr/Record/978-3-662-48650-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / Thu, 01 Jan 2004 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-27813-9 https://find.library.upatras.gr/Record/978-3-540-27813-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings / Wed, 01 Jan 2003 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-24599-5 https://find.library.upatras.gr/Record/978-3-540-24599-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Logic for Concurrency and Synchronisation Wed, 01 Jan 2003 03:32:13 +0200 https://find.library.upatras.gr/Record/978-0-306-48088-1 https://find.library.upatras.gr/Record/978-0-306-48088-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / Mon, 01 Jan 2007 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69738-1 https://find.library.upatras.gr/Record/978-3-540-69738-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 25 Years of Model Checking History, Achievements, Perspectives / Tue, 01 Jan 2008 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69850-0 https://find.library.upatras.gr/Record/978-3-540-69850-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings / Mon, 01 Jan 2007 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-72504-6 https://find.library.upatras.gr/Record/978-3-540-72504-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / Sat, 01 Jan 2005 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-32072-2 https://find.library.upatras.gr/Record/978-3-540-32072-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / Sun, 01 Jan 2006 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-33103-2 https://find.library.upatras.gr/Record/978-3-540-33103-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / Sun, 01 Jan 2006 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-37214-1 https://find.library.upatras.gr/Record/978-3-540-37214-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / Sun, 01 Jan 2006 03:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-37216-5 https://find.library.upatras.gr/Record/978-3-540-37216-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0