Skip to search formSkip to main contentSkip to account menu

Uclid

UCLID (/ˈjuːklɪd/, the same as "Euclid") is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
First-order logicMicroprocessorMicrosoft ResearchModel checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
UPF-based formal verification of low power techniques in modern processors
Ensuring from the correctness of system on a chip (SoC) designs after the insertion of high level power management strategies… 
2013
2013
Typical tropospheric aerosol backscatter profiles for Southern Ireland: The Cork Raman lidar
2013
2013
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving
Matlab/Simulink is widely used for model-based development of embedded systems. In particular, safety-critical applications are… 
Review
2012
Review
2012
Testing gravity and dark energy with gravitational lensing
Forthcoming wide field weak lensing surveys, such as DES and Euclid, present the possibility of using lensing as a tool for… 
2005
2005
A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines.
We introduce a new method of automating the verification of term-level pipelined machine models that is based on commitment… 
2005
2005
Yet Another Decision Procedure for Equality Logic ( full version )
We introduce a new decision procedure for Equality Logic. The procedure improves on Bryant and Velev’s sparse method [4] from CAV… 
2004
2004
Vapor User Guide (v0.95)
The device for driving tongue and groove flooring panels into a mated or seated position for installation on floor joist has a… 
2004
2004
System modeling and verification with UCLID
Formal verification has had a significant impact on the semiconductor industry, particularly for companies that can devote… 
2004
2004
System Modeling and Verific ation with UCLID
This Conference Proceeding is brought to you for free and open access by the School of Computer Science at Research Showcase. It… 
2003
2003
Comparing Techniques for Out-of-Order Processor Verification in UCLID
In this paper, we show the verification of out-of-order proce ssors in a tool called UCLID. The processor is modeled using th e… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)