Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
39
views
11
references
Top references
cited by
25
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,842
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Termination of Linear Programs
other
Author(s):
Ashish Tiwari
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
A survey of computational complexity results in systems and control
Vincent D Blondel
,
John Tsitsiklis
(2000)
0
comments
Cited
114
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Complete Method for the Synthesis of Linear Ranking Functions
Andreas Podelski
,
Andrey Rybalchenko
(2004)
0
comments
Cited
68
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Symbolic Reachability Computation for Families of Linear Vector Fields
Gerardo Lafferriere
,
George Pappas
,
Sergio Yovine
(2001)
0
comments
Cited
37
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 70-82
DOI:
10.1007/978-3-540-27813-9_6
SO-VID:
06e12ab1-baf2-4e5d-ba82-f77f1ab32f38
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 70
Termination of Linear Programs
pp. 135
Indexed Predicate Discovery for Unbounded System Verification
pp. 175
DPLL(T): Fast Decision Procedures
pp. 189
Verifying ω-Regular Properties of Markov Chains
pp. 242
Stuck-Free Conformance
pp. 281
Verification via Structure Simulation
pp. 308
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
pp. 321
Widening Arithmetic Automata
pp. 372
Abstract Regular Model Checking
pp. 401
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
pp. 453
Understanding Counterexamples with explain
pp. 457
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
pp. 462
JNuke: Efficient Dynamic Analysis for Java
pp. 475
The UCLID Decision Procedure
pp. 479
MCK: Model Checking the Logic of Knowledge
pp. 496
SAL 2
pp. 510
WSAT: A Tool for Formal Analysis of Web Services
pp. 515
CVC Lite: A New Implementation of the Cooperating Validity Checker
Similar content
2,842
The Roles of Net Photosynthetic Rate and Transpiration Efficiency on Economic Yield of Jerusalem artichoke (Helianthus tuberosus L.) Genotypes under Different Drought Durations during the Terminal Growth Stages
Authors:
Aunchana Chaimala
,
Sanun Jogloy
,
Nimitr Vorasoot
…
Sobolev neural network with residual weighting as a surrogate in linear and non-linear mechanics
Authors:
A. O. M. Kilicsoy
,
J. Liedmann
,
M. A. Valdebenito
…
Priority-based speed control strategy for automated guided vehicle path planning in automated container terminals
Authors:
M. ZHONG
,
Y. YANG
,
S Sun
…
See all similar
Cited by
25
Termination of Integer Linear Programs
Authors:
Mark Braverman
Termination of Polynomial Programs
Authors:
Aaron R. Bradley
,
Zohar Manna
,
Henny B. Sipma
The Polyranking Principle
Authors:
Aaron R. Bradley
,
Zohar Manna
,
Henny B. Sipma
See all cited by