CiteSeerX — 3.1 Representation of Finite State Machines...................... 6 3.2 Properties in Temporal Logic............................ 7

3.1 Representation of Finite State Machines...................... 6 3.2 Properties in Temporal Logic............................ 7

Cached

Download Links

[cyber.felk.cvut.cz]

by Unknown Authors

BibTeX

@MISC{_3.1representation,
    author = {},
    title = {3.1 Representation of Finite State Machines...................... 6 3.2 Properties in Temporal Logic............................ 7},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

1207	Symbolic Model Checking - McMillan - 1993
1130	The model checker SPIN - Holzmann - 1997
852	Fast planning through planning graph analysis - Blum, Furst - 1997
591	Y.: Symbolic model checking without BDDs - Biere, Cimatti, et al. - 1999
392	Software testing techniques - Beizer - 1990
252	Henzinger T: Reactive modules - Alur - 1999
227	Test pattern generation using Boolean satisfiability - Larrabee - 1992
203	Principles and methods of testing finite state machines - A survey - Lee, Yannakakis - 1996
101	Recent advances in AI planning - Weld - 1999
88	Synchronous observers and the verification of reactive systems - Halbwachs, Lagnier, et al. - 1993
87	Rajamani S: You assume, we guarantee: Methodology and case studies - Henzinger, Qadeer
80	Black-box testing: Techniques for functional testing of software and systems - Beizer - 1995
73	Programming and verifying real-time systems by means of the synchronous data-flow programming language lustre - Halbwachs, Lagnier, et al. - 1992
63	Representation and analysis of reactive behaviors : A synchronous approach - Andre - 1996
58	State-space planning by integer optimization - Kautz, Walser - 1999
45	OCCOM: Efficient computation of observability-based code coverage metric for functional simulation - Fallah, Devadas, et al. - 1998
41	On object state testing - Kung, Suchak, et al. - 1994
26	A practical and complete algorithm for testing real-time systems - Cardell-Oliver, Glover - 1998
24	Synchronous programming of reactive systems. The Kluwer international series - Halbwachs - 1993
20	Introduction to Complexity Theory - Goldreich - 1999
19	On fault coverage of tests for finite state specifications - Petrenko, Bochmann, et al. - 1996
18	Per Bjesse, and Niklas Eén. Symbolic reachability analysis based on SAT-solvers - Abdulla - 2000
17	Lutess: A specification-driven testing environment for synchronous software - Bousquet, Ouabdesselam, et al. - 1999
16	Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach - Clarke, Emerson, et al. - 1983
16	A test strategy for object-oriented programs - Kung, Gao, et al. - 1995
15	Accurate computation of the relative entropy between stochastic regular grammars - Carrasco - 1997
11	Operational Profile Specification, Test Case Generation, and Reliability Estimation for Modules - Woit - 1994
8	Formal Verification Based on Boolean Expression Diagrams - Williams - 2000
7	Conformance testing of object-oriented components specified by state/transition classes - Gallagher - 1999
6	Automatic executable test case generation for extended finite state machine protocols - Bourhfir, Dssouli, et al.
5	A graphical representation of classes for integrated black- and white-box testing - Beydeda, Gruhn, et al. - 2001
4	Algorithms for efficient state space search - Ganai
3	Algorithms for the satisfiability - Gu, Purdom, et al.
3	Software dependability evaluation based on markov usage models - Gutjahr
3	Case study: Formal specification and verification of railway interlocking system - Hlavaty, Preucil, et al. - 2001
3	Formal methods in development and testing of railway interlocking systems - Hlavaty, Preucil, et al. - 2001
3	Classic testing mistakes - Marick - 1997
3	A tutorial on stalmarcks’s proof procedure for propositional logic - Sheeran, Stalmarck - 1998
2	Introduction to BDDs - Andersen - 1997
2	SAT-based model checking: A tutorial and overview - Bjesse, Sheeran, et al. - 2001
2	Automated testing of reactive systems - Hlavaty, Preucil - 2002
1	Abstracting formal specications to generate software tests via model checking - Ammann, Black - 1999
1	Software testing by statistical methods—preliminary success estimates for approaches based on binomial models, coverage designs, mutation testing and usage models - Banks, Dashiell, et al. - 1998
1	Satisfiability for ATPG: Is it easy - Chong, Prasad - 1998
1	Stěpán Klapka. Logické závislosti v ABE-1. A ˇZD Praha s.r.o., Interní dokument - Faran, Houser - 2000
1	Formal specification and verification of railway interlocking system - Hlavat´y, Pˇreučil, et al. - 2001
1	Highly testable finite state machines based on EXOR logic - Kalay, Venkataramaiah, et al.
1	Testing across the lifecycle - Korson
1	Self-dissimilarity: An empirical measure of complexity - Nasa - 1997
1	Logika program˚u. ČVUT FEL, Nepublikovan´y text k pˇrednáˇsce - Velebil - 1999