Ed Brinksma
Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 1997.

@proceedings{TACAS-1997,
	address       = "Enschede, The Netherlands",
	editor        = "Ed Brinksma",
	isbn          = "3-540-62790-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 1217,
	year          = 1997,
}

Contents (28 items)

4 ×#model checking
4 ×#verification
3 ×#generative
3 ×#logic
3 ×#source code
2 ×#algorithm
2 ×#analysis
2 ×#automation
2 ×#composition
2 ×#named

TACAS-1997-Berry #hardware #optimisation #source code #synthesis #verification

Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs (GB), pp. 1–3.

TACAS-1997-DrechslerBR #algorithm

Manipulation Algorithms for K*BMDs (RD, BB, SR), pp. 4–18.

TACAS-1997-EmersonJP #partial order #reduction #symmetry

Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.

TACAS-1997-AndersenSM #model checking

Partial Model Checking with ROBDDs (HRA, JS, NM), pp. 35–49.

TACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability #using

Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.

TACAS-1997-Grahlmann #component

The Reference Component of PEP (BG), pp. 65–80.

TACAS-1997-Boulton #reasoning

A Tool to Support Formal Reasoning about Computer Languages (RJB), pp. 81–95.

TACAS-1997-EijkBEA #generative

The Term Processor Generator Kimwitu (PvE, AB, HE, HA), pp. 96–111.

TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of

Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.

TACAS-1997-SchmittG #linear #logic

A Tableau System for Linear-TIME Temporal Logic (PHS, JGL), pp. 130–144.

TACAS-1997-Penczek #model checking #subclass

Model-Checking for a Subclass of Event Structures (WP), pp. 145–164.

TACAS-1997-RaskinS #abstraction #logic #realtime

Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time (JFR, PYS), pp. 165–182.

TACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named #tool support

MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.

TACAS-1997-Jensen #petri net

A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.

TACAS-1997-ChristensenJK #design #named #petri net

Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.

TACAS-1997-PhilippsS #verification

Formal Verification of Statecharts with Instantaneous Chain Reaction (JP, PS), pp. 224–238.

TACAS-1997-KrimmM #composition #generative #source code

Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.

TACAS-1997-Ben-AbdallahL #detection #process #sequence chart

Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.

TACAS-1997-FerrariFGMPR #automation #mobile #process #verification

An Automated Based Verification Environment for Mobile Processes (GLF, GF, SG, UM, MP, GR), pp. 275–289.

TACAS-1997-Tofts #analysis #composition #performance

Compositional Performance Analysis (CMNT), pp. 290–305.

TACAS-1997-Kleuker #communication #concurrent #development #incremental

Incremental Development of Deadlock-Free Communicating Systems (SK), pp. 306–320.

TACAS-1997-BoigelotG #automation #source code #specification #synthesis

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs (BB, PG), pp. 321–333.

TACAS-1997-AlfaroM #verification #visual notation

Visual Verification of Reactive Systems (LdA, ZM, HBS, TEU), pp. 334–350.

TACAS-1997-SandnerM #proving #refinement #theorem proving

Theorem Prover Support for the Refinement of Stream Processing Functions (RS, OM), pp. 351–365.

TACAS-1997-OwreRS #integration #model checking

Integration in PVS: Tables, Types, and Model Checking (SO, JMR, NS), pp. 366–383.

TACAS-1997-EngelsFM #generative #model checking #network #testing #using

Test Generation for Intelligent Networks Using Model Checking (AE, LMGF, SM), pp. 384–398.

TACAS-1997-Prasetya #algorithm #self

Mechanically Verified Self-Stabilizing Hierarchical Algorithms (ISWBP), pp. 399–415.

TACAS-1997-DArgenioKRT #bound #exclamation #protocol

The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.