Search Sciweavers | Sciweavers

698 search results - page 16 / 140

» Model Checking with Multi-valued Logics

click to vote

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

15 years 7 months ago

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

107

Voted

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 5 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 4 months ago

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

105

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

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

15 years 4 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

101

click to vote

JUCS
2008

159views more JUCS 2008»

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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers