1. Home
  2. Material Detail: Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Material Detail

Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Table of Contents: 

Theorem Proving

Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning/Efficient Verification of Imperative Programs Using Auto2/Frame Inference for Inductive Entailment Proofs in Separation Logic/Verified Model Checking of Timed Automata

SAT and SMT I ...
Show More
Keywords:
program compilers, privacy, world wide web, semantics, programming languages, cryptography, formal specification, authentication, formal logic, separation logic, specifications, computer science, formal methods, data privacy, software engineering, computer software selection and evaluation, security systems, internet, verification
Disciplines:
Go to Material 
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Material Type:
Open (Access) Textbook
Date Added to MERLOT:
May 23, 2018
Date Modified in MERLOT:
May 23, 2018
Authors:
Submitter:
Naomi Toftness
Primary Audience:
College Upper Division, Graduate School, Professional
Technical Format:
PDF, Website, Other
Mobile Compatibility:
Not specified at this time
Language:
English
Cost Involved:
No
Source Code Available:
Unknown
Creative Commons:
Creative Commons License
This work is licensed under a Attribution 4.0 International

Browse...

Disciplines with similar materials as Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink
People who viewed this also viewed
Other materials like Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.