• *Search*: Compositional verification of parallel programs

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 12*number_thousands_separator*374

3

Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL
Nipkow, Tobias (Prof. Ph.D.) ; Esparza Estaun, Francisco Javier (Prof. Dr.) ; Prensa Nieto, Leonor ; et al.

*Electronic Resource*
*Add to favorites*
4

*This result is not displayed to guests*

6

Compositional Reasoning for Shared-variable Concurrent Programs
Zhang, Fuyuan ; Zhao, Yongwang ; Sanan, David ; et al.

Computer Science - Forma... Computer Science - Logic... Computer Science - Softw...
*Report*
*Add to favorites*
7

Dynamic Logic of Communicating Hybrid Programs
Brieger, Marvin ; Mitsch, Stefan ; Platzer, André

Computer Science - Logic... Computer Science - Progr... F.3.1 F.4.1 D.2.4 C.1.m …
*Report*
*Add to favorites*
8

Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL ; Verifikation paralleler Programme mit den Methoden Owicki-Gries und Rely-Guarantee in Isabelle/HOL
Prensa Nieto, Leonor ; Nipkow, Tobias (Prof. Ph.D.) ; Esparza Estaun, Francisco Javier (Prof. Dr.)

info:eu-repo/classificat... Allgemeines Wissenschaft parallel programs verification Owicki-Gries …
*Dissertation/ Thesis*
*Add to favorites*
9

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
Stehr, Mark-Oliver
In Electronic Notes in Theoretical Computer Science 24 May 2006 159:299-323

*Academic Journal*
*Add to favorites*
10

Techniques and tools for the verification of concurrent systems
Palikareva, Hristina ; Roscoe, A. W. ; Ouaknine, Joel

004.35 Theory and automated ver... Communicating Sequential... Program development and... Mathematical logic and f... automated verification …
*Dissertation/ Thesis*
*Add to favorites*
11

HITrees: Higher-Order Interaction Trees
Ayyam, Amir Mohammad Fadaei ; Sammler, Michael

Programming Languages
*Report*
*Add to favorites*
12

Verification of Parallel Programs with
Leonor Prensa Nieto ; Technische Universität München ; Der Technischen Universität München ; et al.
http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/prensa_nieto.pdf.

*Academic Journal*
*Add to favorites*
13

Ultra-high-throughput mapping of genetic design space.
Rai K ; O'Connell RW ; Piepergerdes TC ; et al.
Publisher: Nature Publishing Group Country of Publication: England NLM ID: 0410462 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1476-4687 (Electronic) Linking ISSN: 00280836 NLM ISO Abbreviation: Nature Subsets: MEDLINE; In Process

*Academic Journal*
*Add to favorites*
14

A process oriented approach to solving problems of parallel decomposition and distribution
Dimmich, Damian J.

004 QA 76 Software, computer...
*Dissertation/ Thesis*
*Add to favorites*
15

A Compositional Coalgebraic Semantics of Strategic Games
Blumensath, Achim ; Winschel, Viktor

Computer Science - Compu...
*Report*
*Add to favorites*
16

*This result is not displayed to guests*

17

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.
Foster, Simon ; Hur, Chung-Kil ; Woodcock, Jim
ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

SOFTWARE engineering SEMANTICS LOGIC MATHEMATICAL proofs SIMULATION methods & mod... PARALLEL programs (Compu... …
*Academic Journal*
*Add to favorites*
18

Compositional Verification in Rewriting Logic.
MARTÍN, ÓSCAR ; VERDEJO, ALBERTO ; MARTÍ-OLIET, NARCISO
Theory & Practice of Logic Programming; Jan2024, Vol. 24 Issue 1, p57-109, 53p

CONFIRMATION (Logic) LOGIC programming SATISFACTION INTUITION THEORY-practice relation...
*Academic Journal*
*Add to favorites*
19

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.
Moine, Alexandre ; Charguéraud, Arthur ; Pottier, François
ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-71, 71p

COMPUTER memory manageme... PARALLEL programs (Compu...
*Academic Journal*
*Add to favorites*
20

A Compositional Proof System for the Modal micro-calculas and CCS
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE ; Berezin, Sergey ; Gurov, Diliant ; et al.
DTIC AND NTIS

*Electronic Resource*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*