Sciweavers

22 search results - page 1 / 5

» tacas 2005

8

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

13 years 9 months ago

Complementation Constructions for Nondeterministic Automata on Infinite Words

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

7

TACAS
2005
Springer

89views Algorithms» more TACAS 2005»

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

13 years 9 months ago

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

Download ftp.inrialpes.fr

Damien Bergamini, Nicolas Descoubes, Christophe Jo...

claim paper

Read More »

7

TACAS
2005
Springer

105views Algorithms» more TACAS 2005»

Using Language Inference to Verify Omega-Regular Properties

13 years 9 months ago

Using Language Inference to Verify Omega-Regular Properties

Download osl.cs.uiuc.edu

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...

claim paper

Read More »

9

TACAS
2005
Springer

95views Algorithms» more TACAS 2005»

jMoped: A Java Bytecode Checker Based on Moped

13 years 9 months ago

jMoped: A Java Bytecode Checker Based on Moped

Download www7.in.tum.de

We present a tool for ﬁnding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].

Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier E...

claim paper

Read More »

11

TACAS
2005
Springer

113views Algorithms» more TACAS 2005»

Applications of Craig Interpolants in Model Checking

13 years 9 months ago

Applications of Craig Interpolants in Model Checking

Download www.kenmcmil.com

Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...

Kenneth L. McMillan

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »