Skip to main content

Introducing new learning courses and educational videos from Apress. Start watching

Formal Methods

  • 1127 Accesses


Truth is often a matter of logic and reasoning. Discussion on veracity is not complete without exploring how logic can help. In this chapter we consider modeling data in ways that formal methods such as Boolean logic can be used to solve veracity related issues.

This is a preview of subscription content, access via your institution.

Buying options

USD   24.99
Price excludes VAT (USA)
  • ISBN: 978-1-4842-3633-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   32.99
Price excludes VAT (USA)
Figure 6-1
Figure 6-2
Figure 6-3

Author information

Authors and Affiliations


Rights and permissions

Reprints and Permissions

Copyright information

© 2018 Vishnu Pendyala

About this chapter

Verify currency and authenticity via CrossMark

Cite this chapter

Pendyala, V. (2018). Formal Methods. In: Veracity of Big Data. Apress, Berkeley, CA.

Download citation