Tiziana Margaria-Steffen, Bernhard Steffen
Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 1996.

@proceedings{TACAS-1996,
	address       = "Passau, Germany",
	editor        = "Tiziana Margaria-Steffen and Bernhard Steffen",
	isbn          = "3-540-61042-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 1055,
	year          = 1996,
}

Contents (33 items)

4 ×#algebra
4 ×#verification
3 ×#analysis
3 ×#automation
3 ×#realtime
3 ×#specification
3 ×#tool support
2 ×#automaton
2 ×#calculus
2 ×#composition

TACAS-1996-Holzmann #detection #fault #tool support

Early Fault Detection Tools (GJH), pp. 1–13.

TACAS-1996-Kozen #algebra #commutative

Kleene Algebra withTests and Commutativity Conditions (DK), pp. 14–33.

TACAS-1996-Lamport #proving

Managing Proofs (LL), p. 34.

TACAS-1996-AlurHP #sequence chart

An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.

TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net

Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.

TACAS-1996-DamonJ #performance #specification

Efficient Search as a Means of Executing Specifications (CD, DJ), pp. 70–86.

TACAS-1996-EsparzaRV #algorithm

An Improvement of McMillan’s Unfolding Algorithm (JE, SR, WV), pp. 87–106.

TACAS-1996-BhatC #calculus #model checking #μ-calculus

Efficent Local Model-Checking for Fragments of teh Modal μ-Calculus (GB, RC), pp. 107–126.

TACAS-1996-Tretmans #generative #testing

Test Generation with Inputs, Outputs, and Quiescence (JT), pp. 127–146.

TACAS-1996-Lowe #protocol #using

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.

TACAS-1996-FocardiG #automation #composition #security #verification

Automatic Compositional Verification of Some Security Properties (RF, RG), pp. 167–186.

TACAS-1996-MichelAV #algebra #process

Permutable Agents in Process Algebras (FM, PA, FV), pp. 187–206.

TACAS-1996-BuhrkeLV #infinity

Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.

TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification

Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.

TACAS-1996-ChouP #model checking #partial order #reduction #verification

Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.

TACAS-1996-Margaria #automation #detection #fault

Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits (TMS), pp. 258–277.

TACAS-1996-CleavelandLNS #distributed #modelling #verification

Priorities for Modeling and Verifying Distributed Systems (RC, GL, VN, SS), pp. 278–297.

TACAS-1996-Stirling #calculus #game studies #μ-calculus

Games and Modal μ-Calculus (CS), pp. 298–312.

TACAS-1996-AyariB #deduction #development

Generic System Support for Deductive Program Development (AA, DAB), pp. 313–328.

TACAS-1996-TripakisC #realtime

Extending Promela and Spin for Real Time (ST, CC), pp. 329–348.

TACAS-1996-NajmO

Reactive EFSMs — Reactive Promela/RSPIN (EN, FO), pp. 349–368.

TACAS-1996-MoserM #automaton #probability #realtime

Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.

TACAS-1996-CleavelandLSS #concurrent #development

The Concurrency Factory Software Development Environment (RC, PML, SAS, OS), pp. 391–395.

TACAS-1996-BoualiRRS #set #tool support

The FC2TOOLS Set (AB, AR, VR, RdS), p. 396.

TACAS-1996-GrahlmannB #named #petri net

PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.

TACAS-1996-CuellarBH #agile #prototype #specification

Rapid Prototyping for an Assertional Specification language (JC, DB, MH), pp. 402–406.

TACAS-1996-HeylMK #named #tool support

cTc — A Tool Supporting the Construction of cTLA-Specifications (CH, AM, HK), pp. 407–411.

TACAS-1996-Saidi #automation #concurrent #proving

A Tool for Proving Invariance Properties of Concurrent Systems Automatically (HS), pp. 412–416.

TACAS-1996-Rauzy #analysis #constraints #reduction #specification #using

Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (AR), p. 417.

TACAS-1996-SteffenMCBNR #constraints

A Constraint-Oriented Service Creation Environment (BS, TMS, AC, VB, RN, MR), pp. 418–421.

TACAS-1996-KleinKKS #automaton #program analysis

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (MK, JK, DK, BS), pp. 422–426.

TACAS-1996-HermannsMR #algebra #analysis #probability #process

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.

TACAS-1996-BengtssonLLPY

UPPAAL in 1995 (JB, KGL, FL, PP, WY), pp. 431–434.