Search Sciweavers | Sciweavers

713 search results - page 19 / 143

» Model Checking and Transitive-Closure Logic

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 3 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 1 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

click to vote

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 5 days ago

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

14 years 12 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

click to vote

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers