rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
    sub title: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
  name:
    name part: Herde, Christian.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVII, 163 p. 30 illus. online resource.
  abstract: 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.
  note: by Christian Herde.
  subject:
    topic: Computer science
  subject:
    topic: Computers
  subject:
    topic: Computer Science
  subject:
    topic: Theory of Computation
  subject:
    topic: Computer Science, general
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  identifier: 9783834899491
  identifier: http://dx.doi.org/10.1007/978-3-8348-9949-1
  record info:
    record creation date: 110329
    record change date: 20151204190507.0
    record identifier: 978-3-8348-9949-1