Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems - Softcover
Synopsis
Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process.
Christian Herde deals with the development of such procedures, providing methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation.
"synopsis" may belong to another edition of this title.
About the Author
Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fränzle at the Department of Computing Science at the University of Oldenburg, Germany.
From the Back Cover
Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process.
Christian Herde deals with the development of such procedures, providing methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation.
"About this title" may belong to another edition of this title.
Search results for Efficient Solving of Large Arithmetic Constraint Systems...
Stock Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Seller Inventory # M3834814946Z2
Seller Image
Efficient Solving of Large Arithmetic Constraint Systems With Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12235139-n
Stock Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (Paperback)
Published by
Springer Fachmedien Wiesbaden, Weisbaden, 2011
ISBN 10: 3834814946
ISBN 13: 9783834814944
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783834814944
Stock Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 16a4d3aea800a3e6091209d0b14318fc
Buy New
US$ 56.54
US$ 6.53 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0316110070214
Seller Image
Efficient Solving of Large Arithmetic Constraint Systems With Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 12235139
Seller Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Published by
Vieweg+Teubner, Vieweg+Teubner Verlag Feb 2011, 2011
ISBN 10: 3834814946
ISBN 13: 9783834814944
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process.Christian Herde deals with the development of such procedures, providing methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation. 163 pp. Englisch. Seller Inventory # 9783834814944
Buy New
US$ 65.42
US$ 27.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure: Proof Engines For The Analysis Of Hybrid Discrete-Continuous Systems
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2011 edition. 180 pages. 8.20x5.70x0.50 inches. In Stock. Seller Inventory # x-3834814946
Buy New
US$ 88.48
US$ 13.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fraenzle at the Department of Computing Science at the University of Oldenburg, Germany.Christian Herde deals with the development of decision procedures as n. Seller Inventory # 5379571
Buy New
US$ 59.16
US$ 58.17 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Published by
Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Feb 2011, 2011
ISBN 10: 3834814946
ISBN 13: 9783834814944
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 184 pp. Englisch. Seller Inventory # 9783834814944
Buy New
US$ 65.42
US$ 71.25 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available