Search Sciweavers | Sciweavers

2272 search results - page 141 / 455

» A Calculus for

174

click to vote

ESSLLI
1999
Springer

119views Automated Reasoning» more ESSLLI 1999»

Weak Equivalence in Propositional Calculus

15 years 10 months ago

Download folli.loria.fr

Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisﬁability of propositional formulae. It is based on a somehow dual (versu...

Stefan Andrei

claim paper

Read More »

158

click to vote

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

15 years 10 months ago

Download satoss.uni.lu

Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...

claim paper

Read More »

210

click to vote

FOSSACS
1999
Springer

89views Software Engineering» more FOSSACS 1999»

Probabilistic Temporal Logics via the Modal Mu-Calculus

15 years 10 months ago

Download www.cs.umd.edu

This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...

Murali Narasimha, Rance Cleaveland, S. Purushotham...

claim paper

Read More »

164

click to vote

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 10 months ago