المؤلفون: Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/8436/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/af77f4ffff944dc5b9b4fa94be3184e8Test

المؤلفون: Ahmed Irfan, Oded Padon, Makai Mann, Alberto Griggio, Clark Barrett

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720155
TACAS (1)
Tools and Algorithms for the Construction and Analysis of Systems

مصطلحات موضوعية: Model checking, Scheme (programming language), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, General Computer Science, Computer science, Modulo, 020207 software engineering, 02 engineering and technology, Inductive reasoning, Mathematical proof, Article, Theoretical Computer Science, Logic in Computer Science (cs.LO), Set (abstract data type), Auxiliary variables, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer, Counterexample, computer.programming_language

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c012e58eb99cf40a4c6d880e7d47570Test
https://doi.org/10.46298/lmcs-18Test(3:26)2022

المؤلفون: Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli

المصدر: Lecture Notes in Computer Science ISBN: 9783030945824

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::05059eddffab55cc69744b2c8a910d08Test
https://doi.org/10.1007/978-3-030-94583-1_24Test

المؤلفون: Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::ae0418867d7f4ddd7ebc064a0a8bfef9Test
https://doi.org/10.1007/978-3-030-99524-9_24Test

المؤلفون: Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

المساهمون: Mann, Makai, Irfan, Ahmed, Griggio, Alberto, Padon, Oded, Barrett, Clark

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-72015-5; ispartofbook:Tools and Algorithms for the Construction and Analysis of Systems; 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS); volume:12651; firstpage:113; lastpage:132; numberofpages:20; http://hdl.handle.net/11572/342947Test; https://link.springer.com/chapter/10.1007/978-3-030-72016-2_7Test

الإتاحة: https://doi.org/10.1007/978-3-030-72016-2_7Test
http://hdl.handle.net/11572/342947Test

المؤلفون: Makai Mann

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::16cf99e87a947bb18d6c3a979eb63907Test
https://doi.org/10.26226/morressier.604907f51a80aac83ca25d7eTest

المؤلفون: Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Cesare Tinelli, Caleb Donovick, Allison Guman, Amalee Wilson, Yoni Zohar, Clark Barrett, Makai Mann

المصدر: Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226
SAT

مصطلحات موضوعية: Abstract interface, Traverse, Simple (abstract algebra), Interface (Java), Programming language, Computer science, Automated reasoning, ComputerSystemsOrganization_PROCESSORARCHITECTURES, Solver, computer.software_genre, computer, Formal verification

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::ee66dd87eb7392f5c56f10fd55cbd995Test
https://doi.org/10.1007/978-3-030-80223-3_26Test

المؤلفون: Aarti Gupta, Ahmed Irfan, Makai Mann, Hongce Zhang, Kristopher Brown, Florian Lonsing, Yahan Yang, Clark Barrett

المصدر: Computer Aided Verification ISBN: 9783030816872
CAV (2)

مصطلحات موضوعية: Model checking, Flexibility (engineering), Service (systems architecture), business.industry, Computer science, Interface (Java), Usability, 0102 computer and information sciences, 02 engineering and technology, Transparency (human–computer interaction), 01 natural sciences, 020202 computer hardware & architecture, 010201 computation theory & mathematics, Satisfiability modulo theories, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::b545f5d038c2e2bb50b6be96c7361049Test
https://doi.org/10.1007/978-3-030-81688-9_22Test

المؤلفون: Makai Mann (8468571)

مصطلحات موضوعية: Applied Computer Science, Computer Software, CAV 2021, conference paper artifact, model checking, Satisfiability Modulo Theories, tool, C++, Python

العلاقة: https://figshare.com/articles/software/CAV_2021_Artifact_Pono_Model_Checker/14479542Test

الإتاحة: https://doi.org/10.6084/m9.figshare.14479542.v5Test

المؤلفون: Makai Mann (8468571)

مصطلحات موضوعية: Applied Computer Science, Computer Software, Computational Logic and Formal Languages, API, C++, Satisfiability Modulo Theories, SMT, SMT-LIB, Boolector, Bitwuzla, CVC4, MathSAT, Yices2, Z3

العلاقة: https://figshare.com/articles/software/SAT_2021_Artifact_Smt-Switch/14566449Test

الإتاحة: https://doi.org/10.6084/m9.figshare.14566449.v1Test