Search Results - Software/Program Verification—Model checking General Terms Experimentation~

Refine Results
  1. 1

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

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

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

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

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

    File Description: application/pdf

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

    Availability: 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
    Save to List
  2. 2

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

    Authors: Dirk Beyer Damien Zufferey

    Resource Type: eBook.

    Subjects: 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

    Save to List
  3. 3

    Verification, Model Checking, and Abstract Interpretation

    Authors: Constantin Enea Ruzica Piskac

    Resource Type: eBook.

    Subjects: Computer science, Software engineering, Computer networks

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

    Save to List
  4. 4

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

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

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

    Subject Terms: DATA packeting, SOFTWARE-defined networking, DOMAIN-specific programming languages, ELECTRONIC data processing

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

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

    Authors: Barbara Jobstmann K. Rustan M. Leino

    Resource Type: eBook.

    Subjects: 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

    Save to List
  6. 6

    Compositional learning of mutually recursive procedural systems.

    Authors: Frohme, Markus Steffen, Bernhard

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

    Subject Terms: ACTIVE learning, FINITE state machines, MACHINE learning, DISPLAY systems, INSTRUCTIONAL systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Debugging Agent Interactions: a Case Study

    Authors: David Flater National The Pennsylvania State University CiteSeerX Archives

    Contributors: David Flater National The Pennsylvania State University CiteSeerX Archives

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

    Subject Terms: General Terms Experimentation, Verification. Keywords Agents, coordination, negotiation, scheduling

    File Description: application/pdf

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

    Availability: 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
    Save to List
  8. 8

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

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

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

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

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

    File Description: application/pdf

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

    Availability: 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
    Save to List
  9. 9

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

    Authors: Roberto Giacobazzi Josh Berdine Isabella Mastroeni

    Resource Type: eBook.

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

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

    Save to List
  10. 10

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

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

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

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

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

    File Description: application/pdf

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

    Availability: 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
    Save to List
  11. 11

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

    Authors: Francisco Chicano The Pennsylvania State University CiteSeerX Archives

    Contributors: Francisco Chicano The Pennsylvania State University CiteSeerX Archives

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

    Subject Terms: 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

    File Description: 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

    Availability: 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
    Save to List
  12. 12

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

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

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

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

    Subject Terms: General Terms, Verification, Experimentation

    File Description: application/pdf

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

    Availability: 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
    Save to List
  13. 13

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

    Authors: Viktor Kuncak Andrey Rybalchenko

    Resource Type: eBook.

    Subjects: 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

    Save to List
  14. 14

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

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

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

    Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    A Survey on Data-Flow Testing.

    Authors: TING SU KE WU WEIKAI MIAO et al.

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

    Subject Terms: DATA flow computing, DATA mining, COMPUTER security, FAULT-tolerant computing, INTERNET security

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

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

    Authors: Sharon Shoham Yakir Vizel

    Resource Type: eBook.

    Subjects: Computer software--Verification--Congresses

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

    PDF Full Text ePub Full Text
    Save to List
  17. 17

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

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

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

    Subject Terms: COMPUTER software, TELECOMMUNICATION, SOFTWARE engineering, INFORMATION technology, SYSTEM analysis

    Save to List
  18. 18

    Bounded Satisfiability Checking of Metric Temporal Logic Specifications.

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

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

    Subject Terms: SATISFIABILITY (Computer science), ENCODING, BOOLEAN searching, SOFTWARE engineering, COMPUTER science

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  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

    Authors: Armin Biere David Parker

    Resource Type: eBook.

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

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

    PDF Full Text
    Save to List
  20. 20

    Scientific Abstracts and Sessions.

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

    Subject Terms: VOLUMETRIC-modulated arc therapy, RECTUM

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List

Search Tools: