Higher−Order Model Checking of Liveness Properties

Higher−Order Model Checking of Liveness Properties

Bibliographic Details
Main Authors:	Neatherway, R, Ong, C
Format:	Conference item
Published:	2013

Similar Items

Model checking liveness properties of higher-order functional programs
by: Lester, MM, et al.
Published: (2011)

Higher-order model checking with traversals
by: Neatherway, R
Published: (2014)

A Traversal Based Algorithm for Higher−Order Model Checking
by: Neatherway, R, et al.
Published: (2012)

A type−directed abstraction refinement approach to higher−order model checking
by: Ramsay, S, et al.
Published: (2014)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
by: Broadbent, C, et al.
Published: (2009)

Homer: A Higher−order Observational equivalence Model checkER
by: Hopkins, D, et al.
Published: (2009)

The Complexity of Model Checking Higher-Order Fixpoint Logic
by: Roland Axelsson, et al.
Published: (2007-06-01)

A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
by: Kobayashi, N, et al.
Published: (2009)

The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
by: Hague, M, et al.
Published: (2010)

Game semantics based equivalence checking of higher-order programs
by: Hopkins, D, et al.
Published: (2012)

Game Semantics Based Equivalence Checking of Higher−Order Programs
by: Hopkins, D
Published: (2012)

Model-Checking of Ordered Multi-Pushdown Automata
by: Mohamed Faouzi Atig
Published: (2012-09-01)

Intersection types and higer-order model checking
by: Ramsay, S, et al.
Published: (2014)

Model-checking games for fixpoint logics with partial order models
by: Gutierrez, J, et al.
Published: (2010)

Model-checking games for fixpoint logics with partial order models
by: Gutierrez, J, et al.
Published: (2009)

Model-checking games for fixpoint logics with partial order models
by: Gutierrez, J, et al.
Published: (2011)

Healthy Living: Checking Blood Glucose
by: Jennifer Hillan
Published: (2006-10-01)

Healthy Living: Checking Blood Glucose
by: Jennifer Hillan, et al.
Published: (2015-03-01)

Partial orders for efficient bounded model checking of concurrent software
by: Alglave, J, et al.
Published: (2013)

More effective interpolations in software model checking
by: Tian, C, et al.
Published: (2017)

Higher-order constrained horn clauses for verification
by: Cathcart Burn, T, et al.
Published: (2017)

Watchdog transformations for property−oriented model checking
by: Roscoe, A, et al.
Published: (2003)

Watchdog transformations for property−oriented model−checking
by: Goldsmith, M, et al.
Published: (2003)

Watchdog Transformations for Property−Oriented Model−Checking
by: Goldsmith, M, et al.
Published: (2003)

Model Checking Properties on Reduced Trace Systems
by: Antonella Santone, et al.
Published: (2014-07-01)

Properties of weighted means of higher order
by: V. Miheşan
Published: (1995-08-01)

Properties of weighted means of higher order
by: V. Miheşan
Published: (1995-08-01)

Fact-checking as digital media literacy in higher education
by: Siling Tekoniemi, et al.
Published: (2022-07-01)

The parameterized space complexity of model-checking bounded variable first-order logic
by: Yijia Chen, et al.
Published: (2019-09-01)

Unboundedness and downward closures of higher-order pushdown automata
by: Hague, M, et al.
Published: (2016)

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions
by: Ashalatha Kunnappilly, et al.
Published: (2019-11-01)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
by: Hague, M, et al.
Published: (2007)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
by: Hague, M, et al.
Published: (2008)

Model checking /
by: Clarke, E. M., 1945-, et al.
Published: (1999)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Tobias Winkler, et al.
Published: (2023-12-01)

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
by: Naoki Kobayashi, et al.
Published: (2012-01-01)

Symmetry Properties of Higher-Order Bernoulli Polynomials
by: Taekyun Kim, et al.
Published: (2009-01-01)

Symmetry Properties of Higher-Order Bernoulli Polynomials
by: Hwang Kyung-Won, et al.
Published: (2009-01-01)

Check-list and questionnaire datasets on diversity in Spain's higher education
by: Carmen-María Hernández-Lloret, et al.
Published: (2021-06-01)

Rational verification: from model checking to equilibrium checking
by: Wooldridge, M, et al.
Published: (2016)