Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.