Bernhard Steffen
Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 1998.

@proceedings{TACAS-1998,
	address       = "Lisbon, Portugal",
	editor        = "Bernhard Steffen",
	isbn          = "3-540-64356-7",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 1384,
	year          = 1998,
}

Contents (29 items)

9 ×#verification
6 ×#model checking
5 ×#using
3 ×#analysis
3 ×#design
3 ×#modelling
3 ×#named
2 ×#abstraction
2 ×#algorithm
2 ×#automation

TACAS-1998-Bryant #pipes and filters #verification

Formal Verification of Pipelined Processors (REB), pp. 1–4.

TACAS-1998-LiuRS #evaluation #fixpoint #performance

Fully Local and Efficient Evaluation of Alternating Fixed Points (XL, CRR, SAS), pp. 5–19.

TACAS-1998-LasterG #composition #model checking

Modular Model Checking of Software (KL, OG), pp. 20–35.

TACAS-1998-HuhnNW #verification

Verification Based on Local States (MH, PN, FW), pp. 36–51.

TACAS-1998-AjamiHI #linear #logic #model checking #symmetry

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.

TACAS-1998-Garavel #architecture #named #simulation #testing #verification

OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing (HG), pp. 68–84.

TACAS-1998-StevensS #game studies #model checking #using

Practical Model-Checking Using Games (PS, CS), pp. 85–101.

TACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using

Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.

TACAS-1998-Ben-AbdallahL #concurrent #design #named

MESA: Support for Scenario-Based Design of Concurrent Systems (HBA, SL), pp. 118–135.

TACAS-1998-VelevB #array #memory management #modelling #performance #simulation

Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.

TACAS-1998-PnueliSS #validation

Translation Validation (AP, MS, ES), pp. 151–166.

TACAS-1998-Sprenger #calculus #coq #model checking #μ-calculus

A Verified Model Checker for the Modal μ-calculus in Coq (CS), pp. 167–183.

TACAS-1998-AikenFS #detection #logic programming #source code

Detecting Races in Relay Ladder Logic Programs (AA, MF, ZS), pp. 184–200.

TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.

TACAS-1998-BrockmeyerW #design #verification

Tamagotchis Need Not Die — Verification of STATEMENT Design (UB, GW), pp. 217–231.

TACAS-1998-Cattel #modelling #verification

Modeling and Verification of SC++ Applications (TC), pp. 232–248.

TACAS-1998-ShermanM #automation #named

Factotum: Automatic and Systematic Sharing Support for Systems Analyzers (DJS, NM), pp. 249–262.

TACAS-1998-AcetoBL #automaton #model checking #reachability #testing

Model Checking via Reachability Testing for Timed Automata (LA, AB, KGL), pp. 263–280.

TACAS-1998-LindahlPY #analysis #design

Formal Design and Analysis of a Gear Controller (ML, PP, WY), pp. 281–297.

TACAS-1998-AbdullaJ #network #process #verification

Verifying Networks of Timed Processes (PAA, BJ), pp. 298–312.

TACAS-1998-DawsT #abstraction #model checking #reachability #realtime #using

Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.

TACAS-1998-AlurHR

Symbolic Exploration of transition Hierarchies (RA, TAH, SKR), pp. 330–344.

TACAS-1998-KurshanLMPY #partial order #reduction

Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.

TACAS-1998-CharatonikP #analysis #infinity

Set-Based Analysis of Reactive Infinite-State Systems (WC, AP), pp. 358–375.

TACAS-1998-BjornerP

Deiding Fixed and Non-fixed Size Bit-vectors (NB, MCP), pp. 376–392.

TACAS-1998-RuysB #experience #modelling #programming #validation

Experience with Literate Programming in the Modelling and Validation of Systems (TCR, EB), pp. 393–408.

TACAS-1998-JensenL #abstraction #algorithm #proving #using

A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction (HEJ, NAL), pp. 409–423.

TACAS-1998-GribomontZ #algorithm #automation #verification

Automated Verification of Szymanski’s Algorithm (EPG, GZ), pp. 424–438.

TACAS-1998-RegensburgerB #mobile #verification

Formal Verification of SDL Systems at the Siemens Mobile Phone Department (FR, AB), pp. 439–455.