Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria-Steffen, Bernhard Steffen
Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 1995.

@proceedings{TACAS-1995,
	address       = "Aarhus, Denmark",
	editor        = "Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria-Steffen and Bernhard Steffen",
	isbn          = "3-540-60630-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 1019,
	year          = 1995,
}

Contents (13 items)

4 ×#model checking
2 ×#approximate
2 ×#design
2 ×#process

TACAS-1995-MullerN #deduction #model checking

Combining Model Checking and Deduction for I/O-Automata (OM, TN), pp. 1–16.

TACAS-1995-LarsenSW #constraints #proving

A Constraint Oriented Proof Methodology Based on Modal Transition Systems (KGL, BS, CW), pp. 17–40.

TACAS-1995-HenzingerHW

A User Guide to HyTech (TAH, PHH, HWT), pp. 41–71.

TACAS-1995-Mader #calculus #model checking #μ-calculus

Modal μ-Calculus, Model Checking and Gauß Elimination (AM), pp. 72–88.

TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named

Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.

TACAS-1995-EngbergL #bisimulation #performance

Efficient Simplification of Bisimulation Formulas (UE, KSL), pp. 111–132.

TACAS-1995-RoscoeGGHJS #concurrent #csp #how #model checking

Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock (AWR, PHBG, MG, JRH, DMJ, JBS), pp. 133–152.

TACAS-1995-CleavelandMS #generative #tool support #verification

A Front-End Generator for Verification Tools (RC, EM, SS), pp. 153–173.

TACAS-1995-Tofts #approximate #probability #process

Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (CMNT), pp. 174–194.

TACAS-1995-FrancescoFGI #approximate #finite #model checking #process

Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.

TACAS-1995-BohnR #automation #communication #design #interactive #on the

On Automatic and Interactive Design of Communication Systems (JB, SR), pp. 216–237.

TACAS-1995-Janssen #design #distributed

Layers as Knowledge Transitions in the Design of Distributed Systems (WJ), pp. 238–263.

TACAS-1995-KnoopSV #analysis #exclamation #explosion #for free #parallel

Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.