TACAS 1999 | Sciweavers

37

TACAS
1999
Springer

91views Algorithms» more TACAS 1999»

Timed Diagnostics for Reachability Properties

14 years 4 months ago

We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...

Stavros Tripakis

claim paper

Read More »

45

click to vote

TACAS
1999
Springer

88views Algorithms» more TACAS 1999»

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases

14 years 4 months ago

Download eprints.eemcs.utwente.nl

We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database speciﬁcations are mapped to higher-order...

David Spelt, Susan Even

claim paper

Read More »

36

click to vote

TACAS
1999
Springer

109views Algorithms» more TACAS 1999»

An Easily Extensible Toolset for Tabular Mathematical Expressions

14 years 4 months ago

Download www.engr.mun.ca

David Lorge Parnas, Dennis K. Peters

claim paper

Read More »

31

click to vote

TACAS
1999
Springer

92views Algorithms» more TACAS 1999»

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

14 years 4 months ago

Download www.cs.sunysb.edu

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. R...

claim paper

Read More »

39

click to vote

TACAS
1999
Springer

81views Algorithms» more TACAS 1999»

Process Algebra in PVS

14 years 4 months ago

Download www.ics.ele.tue.nl

The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...

Twan Basten, Jozef Hooman

claim paper

Read More »

27

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

14 years 4 months ago