Description

Book Synopsis

Verification and testing: Enabling behaviour tree verification via a translation to BIP.- Verified fault handling for modern board management controllers.- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus.- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion.- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs.- How do asynchronous communication models impact the composability of information flow security?

Formal Aspects of Component Software

Product form

£40.49

Includes FREE delivery

RRP £44.99 – you save £4.50 (10%)

Order before 4pm tomorrow for delivery by Mon 26 Jan 2026.

A Paperback by Diego Marmsoler

3 in stock


    View other formats and editions of Formal Aspects of Component Software by Diego Marmsoler

    Publisher: Springer Nature Switzerland
    Publication Date: 9/8/2024
    ISBN13: 9783031712609, 978-3031712609
    ISBN10: 3031712609

    Description

    Book Synopsis

    Verification and testing: Enabling behaviour tree verification via a translation to BIP.- Verified fault handling for modern board management controllers.- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus.- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion.- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs.- How do asynchronous communication models impact the composability of information flow security?

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account