Suchergebnisse - Software/Program Verification—Model checking General Terms Experimentation*

Treffer weiter einschränken
  1. 1

    F.: CMC-UMC: A framework for the verification of abstract service-oriented properties

    Autoren: Maurice H. Ter Beek Via G. Moruzzi Franco Mazzanti et al.

    Weitere Verfasser: Maurice H. Ter Beek Via G. Moruzzi Franco Mazzanti et al.

    Quelle: http://rap.dsi.unifi.it/sensoriasite/files/p2111-ter_beek.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking General Terms Experimentation, Verification Keywords Service-Oriented Computing, Model checking

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.712

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.712
    http://rap.dsi.unifi.it/sensoriasite/files/p2111-ter_beek.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

    Autoren: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

    Weitere Verfasser: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

    Quelle: http://laser.cs.umass.edu/techreports/07-27.pdf.

    Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—model checking General Terms, Verification, Experimentation

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.659.2202

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.659.2202
    http://laser.cs.umass.edu/techreports/07-27.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning

    Autoren: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

    Weitere Verfasser: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

    Quelle: http://laser.cs.umass.edu/techreports/04-22.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— model checking General Terms Verification, Experimentation

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.615.9816

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.615.9816
    http://laser.cs.umass.edu/techreports/04-22.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

    Autoren: Dirk Beyer Damien Zufferey

    Resource Type: eBook.

    Schlagworte: Computer science, Computer engineering, Computer networks, Logic programming, Artificial intelligence—Data processing, Software engineering

    Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

    Zu den Favoriten
  5. 5

    Verification, Model Checking, and Abstract Interpretation

    Autoren: Constantin Enea Ruzica Piskac

    Resource Type: eBook.

    Schlagworte: Computer science, Software engineering, Computer networks

    Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

    Zu den Favoriten
  6. 6

    Packet processing and data plane program verification: A survey with tools, techniques, and challenges.

    Autoren: Akarte, Harishchandra A. Yadav, Dharmendra K.

    Quelle: International Journal of Communication Systems; 9/25/2023, Vol. 36 Issue 14, p1-27, 27p

    Schlagwörter: DATA packeting, SOFTWARE-defined networking, DOMAIN-specific programming languages, ELECTRONIC data processing

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

    Autoren: Barbara Jobstmann K. Rustan M. Leino

    Resource Type: eBook.

    Schlagworte: Computer science, Software engineering, Computer networks, Machine theory, Compilers (Computer programs)

    Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

    Zu den Favoriten
  8. 8

    Compositional learning of mutually recursive procedural systems.

    Autoren: Frohme, Markus Steffen, Bernhard

    Quelle: International Journal on Software Tools for Technology Transfer; Aug2021, Vol. 23 Issue 4, p521-543, 23p

    Schlagwörter: ACTIVE learning, FINITE state machines, MACHINE learning, DISPLAY systems, INSTRUCTIONAL systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Debugging Agent Interactions: a Case Study

    Autoren: David Flater National The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: David Flater National The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.nist.gov/msidlibrary/doc/debug.pdf.

    Schlagwörter: General Terms Experimentation, Verification. Keywords Agents, coordination, negotiation, scheduling

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2079; http://www.nist.gov/msidlibrary/doc/debug.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2079
    http://www.nist.gov/msidlibrary/doc/debug.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    2008c). Searching for Liveness Property Violations in Concurrent Systems with ACO

    Autoren: Francisco Chicano The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Francisco Chicano The Pennsylvania State University CiteSeerX Archives

    Quelle: http://neo.lcc.uma.es/staff/francis/pdf/ChicanoAlba08scc.pdf.

    Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—model checking, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Heuristic methods, G.1.6 [Numerical Analysis, Optimization— Global optimization General Terms Verification, Algorithms, Experimentation Keywords Liveness properties, HSF-SPIN, SPIN, ant colony optimization, metaheuristics

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2363; http://neo.lcc.uma.es/staff/francis/pdf/ChicanoAlba08scc.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.2363
    http://neo.lcc.uma.es/staff/francis/pdf/ChicanoAlba08scc.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

    Autoren: Roberto Giacobazzi Josh Berdine Isabella Mastroeni

    Resource Type: eBook.

    Schlagworte: Software engineering--Congresses, Computer software--Verification--Congresses

    Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

    Zu den Favoriten
  12. 12

    ABSTRACT Breaking Up is Hard to Do: An Investigation of Decomposition for Assume-Guarantee Reasoning ∗

    Autoren: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

    Weitere Verfasser: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

    Quelle: http://laser.cs.umass.edu/~jcobleig/publications/2006-issta-full.pdf.

    Schlagwörter: General Terms, Verification, Experimentation

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.3197

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.3197
    http://laser.cs.umass.edu/~jcobleig/publications/2006-issta-full.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

    Autoren: Viktor Kuncak Andrey Rybalchenko

    Resource Type: eBook.

    Schlagworte: Computer science, Software engineering, Compilers (Computer programs), Algorithms, Machine theory, Computer programming

    Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

    Zu den Favoriten
  14. 14

    Assertion Checking in J-Sim Simulation Models of Network Protocols.

    Autoren: Sobeih, Ahmed d'Amorim, Marcelo Viswanathan, Mahesh et al.

    Quelle: Simulation; Nov2010, Vol. 86 Issue 11, p651-673, 23p

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    A Survey on Data-Flow Testing.

    Autoren: TING SU KE WU WEIKAI MIAO et al.

    Quelle: ACM Computing Surveys; Jan2018, Vol. 50 Issue 1, p1-35, 35p, 7 Diagrams, 2 Charts, 5 Graphs

    Schlagwörter: DATA flow computing, DATA mining, COMPUTER security, FAULT-tolerant computing, INTERNET security

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

    Autoren: Sharon Shoham Yakir Vizel

    Resource Type: eBook.

    Schlagworte: Computer software--Verification--Congresses

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  17. 17

    Experience Applying the SPIN Model Checker to an Industrial Telecommunications System.

    Autoren: Barry Long Juergen Dingel Graham, T. C. Nicholas

    Quelle: ICSE: International Conference on Software Engineering; 2008, p693-702, 10p, 1 Color Photograph, 5 Diagrams

    Schlagwörter: COMPUTER software, TELECOMMUNICATION, SOFTWARE engineering, INFORMATION technology, SYSTEM analysis

    Zu den Favoriten
  18. 18

    Bounded Satisfiability Checking of Metric Temporal Logic Specifications.

    Autoren: PRADELLA, MATTEO MORZENTI, ANGELO SAN PIETRO, PIERLUIGI

    Quelle: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p20:1-20:54, 54p

    Schlagwörter: SATISFIABILITY (Computer science), ENCODING, BOOLEAN searching, SOFTWARE engineering, COMPUTER science

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

    Autoren: Armin Biere David Parker

    Resource Type: eBook.

    Schlagworte: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

    Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

    PDF-Volltext
    Zu den Favoriten
  20. 20

    Scientific Abstracts and Sessions.

    Quelle: Medical Physics; Jun2020, Vol. 47 Issue 6, pe255-e880, 626p

    Schlagwörter: VOLUMETRIC-modulated arc therapy, RECTUM

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: