Found 259 Documents (Results 1–100)

100
MathJax

MSC:  68N30
Full Text:

Checking data-race freedom of GPU kernels, compositionally. (English)Zbl 07498148

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 403-426 (2021).
MSC:  68M07 68Q60
Full Text:

Testing your (static analysis) truths. (English)Zbl 07496652

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 271-292 (2021).
MSC:  68N30
Full Text:

Twinning automata and regular expressions for string static analysis. (English)Zbl 1472.68039

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 267-290 (2021).
MSC:  68N30 68Q45
Full Text:

MSC:  91G10
Full Text:

Full Text:

Full Text:

Two-level reasoning about graph transformation programs. (English)Zbl 1429.68043

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019).
MSC:  68N30 68Q42 68T27
Full Text:

Effect-driven flow analysis. (English)Zbl 07157049

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 247-274 (2019).
MSC:  68Q60
Full Text:

Quantitative static analysis of communication protocols using abstract Markov chains. (English)Zbl 1425.68078

MSC:  68N30 68M12 68Q87
Full Text:

One-variable context-free hedge automata. (English)Zbl 1423.68256

MSC:  68Q45 68Q42
Full Text:

MSC:  68N30
Full Text:

Fuzzy set abstraction. (English)Zbl 07513442

Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 17-29 (2018).
MSC:  68N30
Full Text:

Experimental evaluation of numerical domains for inferring ranges. (English)Zbl 07513441

Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 3-16 (2018).
MSC:  68N30
Full Text:

Parallel cost analysis. (English)Zbl 1407.68062

MSC:  68M14 68N30
Full Text:

MSC:  68N30
Full Text:

Validating numerical semidefinite programming solvers for polynomial invariants. (English)Zbl 1425.68081

MSC:  68N30 65K05 90C22
Full Text:

MSC:  68N30
Full Text:

Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses. (English)Zbl 1425.68070

MSC:  68N30 68T05
Full Text:

Demand-driven interprocedural analysis for map-based abstract domains. (English)Zbl 1400.68054

MSC:  68N30 68T20
Full Text:

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. (English)Zbl 1401.68044

MSC:  68N30 68W30
Full Text:

Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks. (English)Zbl 06932823

Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 54-72 (2018).
MSC:  68N30
Full Text:

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. (English)Zbl 1478.68170

MSC:  68Q60 03B70 68N30
Full Text:

The Verigraph system for graph transformation. (English)Zbl 1383.68041

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
Full Text:

MSC:  68N30
Full Text:

Sparsity preserving algorithms for octagons. (English)Zbl 1412.68040

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 57-70 (2017).
MSC:  68N30 68Q55 68Q60
Full Text:

Abstract domains for type juggling. (English)Zbl 1412.68033

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 41-55 (2017).
Full Text:

Static analysis of embedded real-time concurrent software with dynamic priorities. (English)Zbl 1412.68042

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 3-39 (2017).
Full Text:

Full Text:

Inference of ranking functions for proving temporal properties by abstract interpretation. (English)Zbl 1379.68101

MSC:  68N30 68Q55
Full Text:

Automatic synthesis of $$k$$-inductive piecewise quadratic invariants for switched affine control programs. (English)Zbl 1379.68234

MSC:  68Q60 68N30
Full Text:

Inferring secrets by guided experiments. (English)Zbl 1444.68048

Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 269-287 (2017).
MSC:  68N30 68M25
Full Text:

Hypercollecting semantics and its application to static analysis of information flow. (English)Zbl 1380.68113

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 874-887 (2017).
MSC:  68N30 68N15
Full Text:

Fencing off Go: liveness and safety for channel-based programming. (English)Zbl 1380.68298

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017).
MSC:  68Q85 68N15 68N30
Full Text:

On verifying causal consistency. (English)Zbl 1380.68270

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 626-638 (2017).
Full Text:

Towards automatic resource bound analysis for OCaml. (English)Zbl 1380.68123

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 359-373 (2017).
MSC:  68N30 68N15 68N20
Full Text:

Semantic-directed clumping of disjunctive abstract states. (English)Zbl 1380.68129

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017).
MSC:  68N30 03B70
Full Text:

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. (English)Zbl 1370.68195

MSC:  68Q60 68N19 68N30
Full Text:

Rely-guarantee termination and cost analyses of loops with concurrent interleavings. (English)Zbl 1409.68071

MSC:  68N30 68N19 68Q85
Full Text:

Complexity and resource bound analysis of imperative programs using difference constraints. (English)Zbl 1409.68076

MSC:  68N30 68Q25 68T15
Full Text:

MSC:  68N30
Full Text:

Inter-procedural two-variable Herbrand equalities. (English)Zbl 1398.68098

MSC:  68N30 03B70
Full Text:

MSC:  68N30
Full Text:

Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution. (English)Zbl 1356.68041

MSC:  68N30 68W30
Full Text:

Full Text:

Static analysis: a brief survey. (English)Zbl 1407.68100

MSC:  68N30 03B70 68Q60
Full Text:

Full Text:

MSC:  68N30
Full Text:

Verification of evolving graph-structured data under expressive path constraints. (English)Zbl 1369.68181

Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 15, 19 p. (2016).
MSC:  68P15 68P05 68Q60
Full Text:

Formal analysis of robustness at model and code level. (English)Zbl 1364.93249

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 125-134 (2016).
MSC:  93B40 90C22 93B35 68N30
Full Text:

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. (English)Zbl 1360.68364

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 407-420 (2016).
MSC:  68N30 68N15
Full Text:

Calculating statically maximum log memory used by multi-threaded transactional programs. (English)Zbl 1482.68097

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 82-99 (2016).
MSC:  68N30
Full Text:

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 691-704 (2016).
MSC:  68N30
Full Text:

Polycheck: dynamic verification of iteration space transformations on affine programs. (English)Zbl 1347.68068

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 539-554 (2016).
MSC:  68N30 68Q60
Full Text:

Verification of programmable logic controller code using model checking and static analysis. (English)Zbl 1348.68004

Aachen: Shaker Verlag; Aachen: RWTH Aachen Univ., Fakultät für Mathematik, Informatik und Naturwissenschaften (Diss.) (ISBN 978-3-8440-4711-0/pbk). 166 p. (2016).
MSC:  68-02 68N19 68Q60

MSC:  68Q60
Full Text:

Analysis of linear definite iterative loops. (English. Russian original)Zbl 1356.68045

Cybern. Syst. Anal. 52, No. 1, 113-126 (2016); translation from Kibern. Sist. Anal. 2016, No. 1, 122-136 (2016).
MSC:  68N30
Full Text:

Full Text:

MSC:  68N30
Full Text:

Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation. (English)Zbl 1381.68178

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 415-430 (2015).
MSC:  68Q60 68U05 90C22
Full Text:

Closed loop analysis of control command software. (English)Zbl 1364.93504

Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 108-117 (2015).
Full Text:

On characterizing the data access complexity of programs. (English)Zbl 1345.68101

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 567-580 (2015).
MSC:  68N30 05C57 68Q17
Full Text:

Quantitative interprocedural analysis. (English)Zbl 1345.68098

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 539-551 (2015).
MSC:  68N30
Full Text:

Automatic static cost analysis for parallel programs. (English)Zbl 1335.68056

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 132-157 (2015).
MSC:  68N30 68N18 68N19
Full Text:

MSC:  68N30
Full Text:

Using dynamic pushdown networks to automate a modular information-flow analysis. (English)Zbl 1473.68049

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 201-217 (2015).
MSC:  68N30 68N19
Full Text:

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 127-145 (2015).
Full Text:

Randomized resource-aware path-sensitive static analysis. (English)Zbl 1329.68075

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 111-126 (2015).
MSC:  68N30
Full Text:

The structure of polynomial invariants of linear loops. (English. Russian original)Zbl 1327.68081

Cybern. Syst. Anal. 51, No. 3, 448-460 (2015); translation from Kibern. Sist. Anal. 2015, No. 3, 143-156 (2015).
MSC:  68N30
Full Text:

Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case. (English)Zbl 1341.68031

MSC:  68N30 65K10 93D05
Full Text:

MSC:  68M20
Full Text:

MSC:  68N30
Full Text:

Automatic synthesis of piecewise linear quadratic invariants for programs. (English)Zbl 1432.68254

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 99-116 (2015).
MSC:  68Q60 68N30 93C05
Full Text:

Abstracting induction by extrapolation and interpolation. (English)Zbl 1432.68258

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 19-42 (2015).
MSC:  68Q60 03B70
Full Text:

Abstract interpretation: past, present and future. (English)Zbl 1401.68037

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 2, 10 p. (2014).
MSC:  68N30 68Q60
Full Text:

Type-based parametric analysis of program families. (English)Zbl 1345.68099

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 39-51 (2014).
MSC:  68N30
Full Text:

SeLINQ: tracking information across application-database boundaries. (English)Zbl 1346.68065

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 25-38 (2014).
Full Text:

Computing invariants with transformers: experimental scalability and accuracy. (English)Zbl 1337.68168

Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 17-31, electronic only (2014).
MSC:  68Q60 68N30
Full Text:

A sparse evaluation technique for detailed semantic analyses. (English)Zbl 1308.68043

MSC:  68N30 68Q60
Full Text:

A method of proving the invariance of linear inequalities for linear loops. (English. Russian original)Zbl 1323.68381

Cybern. Syst. Anal. 50, No. 4, 643-648 (2014); translation from Kibern. Sist. Anal. No. 4, 180-187 (2014).
Full Text:

Relational thread-modular static value analysis by abstract interpretation. (English)Zbl 1428.68119

McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 39-58 (2014).
MSC:  68N19 68Q85
Full Text:

Jerboa: a graph transformation library for topology-based geometric modeling. (English)Zbl 1423.68537

Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 269-284 (2014).
MSC:  68U05 68Q42 68U35
Full Text:

Attribute handling for generating preconditions from graph constraints. (English)Zbl 1423.68095

Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 81-96 (2014).
Full Text:

Mathematical programming: Turing completeness and applications to software analysis. (English)Zbl 1358.68073

MSC:  68N30 68N15 68Q05 90C90
Full Text:

Toward general diagnosis of static errors. (English)Zbl 1284.68141

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 569-581 (2014).
Full Text:

Abstract acceleration of general linear loops. (English)Zbl 1284.68188

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 529-540 (2014).
Full Text:

Verifying eventual consistency of optimistic replication systems. (English)Zbl 1284.68383

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 285-296 (2014).
MSC:  68Q60
Full Text:

A constraint-based approach to solving games on infinite graphs. (English)Zbl 1284.91009

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 221-233 (2014).
Full Text:

Proofs that count. (English)Zbl 1284.68395

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 151-164 (2014).
MSC:  68Q60 68T15 03B70 68W05
Full Text:

A Galois connection calculus for abstract interpretation. (English)Zbl 1284.68173

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).
Full Text:

Under-approximation of reachability in multivalued asynchronous networks. (English)Zbl 1337.68181

Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 33-51 (2013).
MSC:  68Q85 68Q60 92C42
Full Text:

On the inference of resource usage upper and lower bounds. (English)Zbl 1353.68045

MSC:  68N30 68Q55
Full Text:

Full Text:

Full Text:

HALO, Haskell to logic through denotational semantics. (English)Zbl 1301.68085

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 431-442 (2013).
MSC:  68N18 03B10 68N30 68T15
Full Text:

Inductive data flow graphs. (English)Zbl 1301.68178

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 129-142 (2013).
Full Text:

Logico-numerical max-strategy iteration. (English)Zbl 1426.68062

Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 414-433 (2013).
MSC:  68N30 03B70
Full Text:

Full Text:

Automated formal analysis and verification: an overview. (English)Zbl 1286.68318

MSC:  68Q60 68T15 68N30
Full Text:

A static analysis framework for livelock freedom in CSP. (English)Zbl 1274.68250

MSC:  68Q85 68Q60
Full Text:

all top 5

all top 5

all top 3

all top 3