المؤلفون: Masci, Paolo, Muñoz, César A.

المصدر: EPTCS 310, 2019, pp. 35-49

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.6 Integrated Environments, D.2.4 Software/Program Verification

URL الوصول: http://arxiv.org/abs/1912.10632

المؤلفون: Igried, Bashar, Setzer, Anton

المصدر: EPTCS 258, 2017, pp. 36-51

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process

URL الوصول: http://arxiv.org/abs/1709.04714

المؤلفون: Martinelli, Fabio, Matteucci, Ilaria, Santini, Francesco

المصدر: EPTCS 194, 2015, pp. 95-109

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages, D.2.4 Software/Program Verification F.4.1 Mahematical Logic F.4.3 Formal Languages K.6.5 Security and Protection

URL الوصول: http://arxiv.org/abs/1509.08565

المؤلفون: Bhaduri, Purandar, Ramesh, S.

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.4 Software/Program Verification

URL الوصول: http://arxiv.org/abs/cs/0407038

المؤلفون: Ponsini, Olivier, Michel, Claude, Rueher, Michel

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), ANR AEOLUS (ANR-10-SEGI-0013), OSEO ISI PAJERO, ANR-11-INSE-0004,VACSIM,Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle(2011)

المصدر: ISSN: 0928-8910.

مصطلحات موضوعية: Abstract interpretation-based approximation, Program verification, Floating-point computation, Constraint solving over floating-point numbers, Constraint solving over real number intervals, D.2.4 Software/Program Verification, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Relation: hal-00860681; https://hal.science/hal-00860681; https://hal.science/hal-00860681v2/document; https://hal.science/hal-00860681v2/file/raicp_ase.pdf

الاتاحة: https://hal.science/hal-00860681
https://hal.science/hal-00860681v2/document
https://hal.science/hal-00860681v2/file/raicp_ase.pdf
https://doi.org/10.1007/s10515-014-0154-2

المؤلفون: Ibéria Medeiros, Nuno F. Neves, Miguel Correia

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.di.fc.ul.pt/~nuno/PAPERS/WWW14.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors C.2.0 [General, Security and protection, D.2.4 [Software/ Program Verification, Validation, D.2.4 [Software / Program Verification, Statistical methods Keywords Web applications

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.7100; http://www.di.fc.ul.pt/~nuno/PAPERS/WWW14.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.7100
http://www.di.fc.ul.pt/~nuno/PAPERS/WWW14.pdf

المؤلفون: Fabian Immler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://home.in.tum.de/%7Eimmler/documents/immler2015zonotopes.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Correctness proofs, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification Keywords Interactive Theorem Proving, Geometric Algorithms

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1125; http://home.in.tum.de/%7Eimmler/documents/immler2015zonotopes.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1125
http://home.in.tum.de/%7Eimmler/documents/immler2015zonotopes.pdf

المؤلفون: Paolo Masci, César A. Muñoz

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 35-49 (2019)
F-IDE@FM

مصطلحات موضوعية: Development environment, FOS: Computer and information sciences, business.industry, Computer science, lcsh:Mathematics, D.2.6 Integrated Environments, lcsh:QA1-939, Microsoft Visual Studio, lcsh:QA75.5-76.95, Software Engineering (cs.SE), Computer Science - Software Engineering, Software, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Learning curve, Code (cryptography), Prototype Verification System, D.2.4 Software/Program Verification, lcsh:Electronic computers. Computer science, Architecture, Software engineering, business, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a349cfedca84f5f9d6295058cc3dfe37
https://doaj.org/article/a8e0f44e349a43cba5306f25f83dd88b

المؤلفون: Höttger, Robert Martin

Thesis Advisors: Prof. Dr. Olaf Spinczyk, Prof. Dr. Burkhard Igel, Prof. Dr.-Ing. Peter Ulbrich

مصطلحات موضوعية: Amalthea, Amalthea4public, App4mc, Partitioning, Mapping, Software Distribution, Timing Verification, Response Time Analysis, Autosar, Mixed-Critical Systems, Embedded Systems, Real-Time Systems, Automotive, Constraints, 54.52 - Software engineering, D.2.4 - Software/Program Verification, D.2.2 - Design Tools and Techniques, D.4.8 - Performance, D.2.6 - Programming Environments, D.2.7 - Distribution, Maintenance, and Enhancement, ddc:004

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

الاتاحة: https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-202107155208

المؤلفون: Barenkamp, Marco

Thesis Advisors: Prof. Dr. Frank Teuteberg, Prof. Dr. Uwe Hoppe

مصطلحات موضوعية: Agile Softwareentwicklung, Künstliche Intelligenz, IoT, Software Engineering, 85.20 - Betriebliche Information und Kommunikation, 85.09 - Unternehmensorganisation, 68-06 - Proceedings, conferences, collections, etc., D.2.4 - Software/Program Verification, D.2.10 - Design, D.2.2 - Design Tools and Techniques, I.2.2 - Automatic Programming, ddc:330, ddc:004

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

الاتاحة: https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-202104194304

المؤلفون: Shapiro, Marc, Saeida Ardekani, Masoud, Petri, Gustavo

المساهمون: Large-Scale Distributed Systems and Applications (Regal), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Samsung Research America San José, Department of Computer Science Purdue, Purdue University West Lafayette, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Institut National de la Recherche en Informatique et Automatique (Inria)

المصدر: https://hal.science/hal-01343592 ; [Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016.

مصطلحات موضوعية: C.2.4 Distributed databases, D.1.3 Concurrent programming, D.2.4 Software/Program Verification, E.1 Distributed data structures, Consistency models, Replicated data, Structural invariants, Correctness of distributed systems, E.1 Structures de données réparties, C.2.4 Bases de données réparties, D.1.3 Programmation parallèle, D.2.4 Vérification de programme et de logiciel, Modèles de cohérence, Données répliquées, Invariants de structurels, Caractère correct de système réparti, [INFO]Computer Science [cs]

Relation: Report N°: RR-8932; hal-01343592; https://hal.science/hal-01343592; https://hal.science/hal-01343592/document; https://hal.science/hal-01343592/file/RR-8932.pdf

الاتاحة: https://hal.science/hal-01343592
https://hal.science/hal-01343592/document
https://hal.science/hal-01343592/file/RR-8932.pdf

المؤلفون: Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-evariste Dagand, Pierre-yves Strub, Benjamin Livshits

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software / Program Verification, Validation, D.3.4 [Processors, Compilers, D.4.6 [Operating Systems, Security and Protection—Verification. Keywords Program equivalence, full abstraction, refinement types

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3674; http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3674
http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf

المؤلفون: Azadeh Farzan, Zachary Kincaid, Andreas Podelski

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.toronto.edu/~zkincaid/pub/popl13.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Correctness Proofs, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs General Terms Languages, Verification Keywords Concurrency, Verification, Static Analysis

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.1784; http://www.cs.toronto.edu/~zkincaid/pub/popl13.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.1784
http://www.cs.toronto.edu/~zkincaid/pub/popl13.pdf

المؤلفون: W. Penczek, M. Szreter, A. Zbrzezny

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ifaamas.org/Proceedings/aamas2012/papers/Z9_12.pdf.

مصطلحات موضوعية: Specification techniques, D.2.4 [Software/Program Verification, Model checking, I.2.4 [Knowledge Representation Formalisms and Methods, Modal logic, Temporal logic General Terms Verification, Theory, Performance Keywords SAT, BDD, Bounded Model Checking, Temporal Epistemic Logic (LTLK, Interleaved Interpreted Systems

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.2049; http://www.ifaamas.org/Proceedings/aamas2012/papers/Z9_12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.2049
http://www.ifaamas.org/Proceedings/aamas2012/papers/Z9_12.pdf

المؤلفون: Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan, Hridesh Rajan All

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://archives.cs.iastate.edu/documents/disk0/00/00/06/58/00000658-00/main.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.2.4 [Software/Program Verification, Formal Methods, Model Checking, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms, Veri cation Additional Key Words and Phrases, parameterized systems

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.685; http://archives.cs.iastate.edu/documents/disk0/00/00/06/58/00000658-00/main.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.685
http://archives.cs.iastate.edu/documents/disk0/00/00/06/58/00000658-00/main.pdf

المؤلفون: Mohamed El Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://users.encs.concordia.ca/~bentahar/Publications/AAMAS2011.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Model Checking General Terms Algorithms, Verification Keywords Social Commitments, Fulfillment, Violation

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.1931; http://users.encs.concordia.ca/~bentahar/Publications/AAMAS2011.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.1931
http://users.encs.concordia.ca/~bentahar/Publications/AAMAS2011.pdf

المؤلفون: Ahmed Bouajjani, Michael Emmi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-BouajjaniE12.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, D.3.2 [Lan- guage Classifications, Concurrent, distributed, and parallel lan- guages, F.1.2 [Models of Computation, Parallelism and concur- rency General Terms Algorithms, Reliability, Verification Keywords Concurrency, Parallelism, Verification

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.9387; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-BouajjaniE12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.9387
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-BouajjaniE12.pdf

المؤلفون: Eric Bodden, Software Technology Group

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.bodden.de/pubs/bodden11stateful.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Validation, D.2.5 [Testing and Debugging, Debugging aids General Terms Human Factors, Verification Keywords Parameterized runtime monitors, Stateful breakpoints

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.8072; http://www.bodden.de/pubs/bodden11stateful.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.8072
http://www.bodden.de/pubs/bodden11stateful.pdf

المؤلفون: Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://archives.cs.iastate.edu/documents/disk0/00/00/06/59/00000659-00/main.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.2.4 [Software/Program Verification, Formal Methods, Model Checking, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms, Veri cation Additional Key Words and Phrases, parameterized systems

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.135; http://archives.cs.iastate.edu/documents/disk0/00/00/06/59/00000659-00/main.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.135
http://archives.cs.iastate.edu/documents/disk0/00/00/06/59/00000659-00/main.pdf

المؤلفون: Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney, Mehdi Bagherzadeh Θ

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf.

مصطلحات موضوعية: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331; http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331
http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf