Building Efficient Model Checkers Using Hierarchical Set Decision Diagrams and Automatic Saturation

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2009-137
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Hierarchical Decision Diagrams to Exploit Model Structure

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Efficient Basic Event Orderings for Binary Decision Diagrams

English

Decision-Model Construction With Multilevel Influence Diagrams

Knowledge Engineering Review
Artificial IntelligenceSoftware
2000English

Automatic Velocity Model Building Technology

ASEG Extended Abstracts
2010English

Automatic Rooftop Extraction in Stereo Imagery Using Distance and Building Shape Regularized Level Set Evolution

ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
2017English

Efficient Decompositional Model Checking for Regular Timing Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Byzantine Set-Union Consensus Using Efficient Set Reconciliation

Eurasip Journal on Information Security
Computer Science ApplicationsSignal Processing
2017English

Automatic Building Extraction Using LiDAR and Aerial Photographs

Boletim de Ciências Geodésicas
2013English

Synthesis of Multiplexor-Based FPGAs Using 123-Decision Diagrams

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy