×

Found 486 Documents (Results 1–100)

Testing using \(X\)-machine translations. (English) Zbl 1499.68110

Masami, Ito (ed.) et al., Words, semigroups, & transductions. Festschrift in honor of Gabriel Thierrin. Singapore: World Scientific. 211-229 (2001).
MSC:  68Q09 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Specification and verification of some properties of dynamical systems. (Russian) Zbl 1494.68171

Sergienko, I. V., Komp’yuterna matematyka. Optymizatsiya obchyslen’. Tom 1. Kiev: Natsional’naya Akademiya Nauk Ukrainy, Institut Kibernetiki im. V. M. Glushkova. 281-292 (2001).
MSC:  68Q60
PDFBibTeX XMLCite

Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness. (English) Zbl 1333.68180

Proceedings of the 20th annual ACM symposium on principles of distributed computing, PODC ’01, Newport, RI, USA, August 26–28, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-383-9). 238-245 (2001).
MSC:  68Q60 68M14 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Type-indexed rows. (English) Zbl 1323.68159

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 261-275 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Secure safe ambients. (English) Zbl 1323.68404

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 222-235 (2001).
PDFBibTeX XMLCite
Full Text: DOI

What packets may come: automata for network monitoring. (English) Zbl 1323.68199

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 206-219 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Avoiding exponential explosion: generating compact verification conditions. (English) Zbl 1323.68372

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 193-205 (2001).
MSC:  68Q60 68N15 68Q25
PDFBibTeX XMLCite
Full Text: DOI

A generic type system for the \(\pi\)-calculus. (English) Zbl 1323.68410

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 128-141 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Mechanical software verification: high level control aspects from a user’s perspective. (English) Zbl 1268.68111

Bonacina, Paola (ed.) et al., STRATEGIES 2001. Selected papers of the 4th international workshop on strategies in automated deduction (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 2, 117-137 (2001).
MSC:  68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Formal verification based on Boolean expression diagrams. (English) Zbl 1266.68004

Electronic Notes in Theoretical Computer Science 56. Amsterdam: Elsevier; Lyngby: TU Denmark, Department of Information Technology (Diss. 2000). iv, 190 p., electronic only (2001).
MSC:  68-02 68Q60
PDFBibTeX XMLCite
Full Text: DOI

May testing, non-interference, and compositionality. (English) Zbl 1264.68112

Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 361-391 (2001).
MSC:  68Q60 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Assertion based inductive verification methods for logic programs. (English) Zbl 1264.68110

Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 52-69 (2001).
MSC:  68Q60 68N17
PDFBibTeX XMLCite
Full Text: DOI

Typed multiset rewriting specifications of security protocols. (English) Zbl 1264.68075

Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 8-51 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Modeling concurrent systems specified in a temporal concurrent constraint language. I. (English) Zbl 1263.68118

Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 197-210 (2001).
MSC:  68Q85 68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Logic programs as specifications in the inductive verification of logic programs. (English) Zbl 1263.68034

Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 131-146 (2001).
MSC:  68N17 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Refining and compressing abstract model checking. (English) Zbl 1263.68108

Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 90-107 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Unifying Petri nets with restricted occurrence rule using partial algebra. (English) Zbl 1263.68107

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 163-187 (2001).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Representation and execution of Petri nets using rewriting logic as a unifying framework. (English) Zbl 1263.68094

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 140-162 (2001).
PDFBibTeX XMLCite
Full Text: DOI

The Petri net Baukasten: 2nd installment. (English) Zbl 1263.68106

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 120-139 (2001).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Improving UML with Petri nets. (English) Zbl 1263.68105

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 107-119 (2001).
MSC:  68Q60 68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Adding graph transformation concepts to UML’s constraint language OCL. (English) Zbl 1263.68114

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 93-106 (2001).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Formal concepts for an integrated internal model of the UML. (English) Zbl 1263.68110

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 80-92 (2001).
MSC:  68Q60 68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Specifying and implementing visual process modeling languages with DiaGen. (English) Zbl 1263.68113

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 67-79 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Visual design of software architecture and evolution based on graph transformation. (English) Zbl 1263.68109

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 52-66 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

How to specify a graph transformation approach: a meta model for Fujaba. (English) Zbl 1263.68111

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 41-51 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Towards common exchange formats for graphs and graph transformation systems. (English) Zbl 1263.68115

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 28-40 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

On modifying high level replacement systems. (English) Zbl 1263.68091

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 16-27 (2001).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

GRACE as a unifying approach to graph-transformation-based specification. (English) Zbl 1263.68085

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 1-15 (2001).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Application of attribute NCE graph grammars to syntactic editing of tabular forms. (English) Zbl 1262.68075

Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 282-288 (2001).
MSC:  68Q42 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Integrating model information in UML sequence diagrams. (English) Zbl 1262.68131

Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 266-274 (2001).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Behavioral constraints for visual models. (English) Zbl 1262.68121

Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 257-265 (2001).
MSC:  68Q60 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A graph transformation view on the specification of applications using mobile code. (English) Zbl 1262.68112

Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 238-246 (2001).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Networks of processes with parameterized state space. (English) Zbl 1262.68103

Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 386-400 (2001).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

An assertional language for the verification of systems parametric in several dimensions (preliminary results). (English) Zbl 1262.68115

Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 371-385 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol. (English) Zbl 1262.68126

Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 357-370 (2001).
MSC:  68Q60 68M12
PDFBibTeX XMLCite
Full Text: DOI

VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. (English) Zbl 1262.68015

Electronic Notes in Theoretical Computer Science 50, No. 4. Amsterdam: Elsevier. 327-402, electronic only (2001).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: Link

UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. (English) Zbl 1262.68012

Electronic Notes in Theoretical Computer Science 44, No. 4. Amsterdam: Elsevier. 189 p., electronic only (2001).
PDFBibTeX XMLCite
Full Text: Link

An algebraic foundation for graph-based diagrams in computing. (English) Zbl 1260.68114

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 346-357 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Model-checking view-based partial specifications. (English) Zbl 1260.68100

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 174-196 (2001).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Typing correspondence assertions for communication protocols. (English) Zbl 1260.94063

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 119-140 (2001).
MSC:  94A62 94A60 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Formal methods for distributed processing. A survey of object-oriented approaches. (English) Zbl 1233.68012

Cambridge: Cambridge University Press (ISBN 0-521-77184-6/hbk). x, 480 p. (2001).
PDFBibTeX XMLCite

How to transform an analyzer into a verifier. (English) Zbl 1275.68088

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 595-609 (2001).
MSC:  68Q60 68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

On termination of meta-programs. (English) Zbl 1275.68050

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 517-530 (2001).
MSC:  68N17 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Computational space efficiency and minimal model generation for guarded formulae. (English) Zbl 1275.68091

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 85-99 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Games and model checking for guarded logics. (English) Zbl 1275.68087

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 70-84 (2001).
MSC:  68Q60 03B25 03D05
PDFBibTeX XMLCite
Full Text: DOI

Local temporal logic is expressively complete for cograph dependence alphabets. (English) Zbl 1275.68089

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 55-69 (2001).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Improving automata generation for linear temporal logic by considering the automaton hierarchy. (English) Zbl 1275.68096

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 39-54 (2001).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

On bounded specifications. (English) Zbl 1275.68094

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 24-38 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Monodic fragments of first-order temporal logics: 2000–2001 A.D. (English) Zbl 1275.03088

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 1-23 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Model-checking LTL with regular valuations for pushdown systems. (English) Zbl 1087.68542

Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 316-339 (2001).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Modelisation of timed automata in Coq. (English) Zbl 1087.68575

Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 298-315 (2001).
MSC:  68Q45 68Q60 68T15
PDFBibTeX XMLCite
Full Text: Link

Stack service model. (English) Zbl 1089.68513

Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 177-196 (2001).
MSC:  68M10 68Q60
PDFBibTeX XMLCite

Defining features for CSP: reflections on the feature interaction contest. (English) Zbl 1089.68570

Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 163-175 (2001).
MSC:  68Q85
PDFBibTeX XMLCite

Proving feature non-interaction with alternating-time temporal logic. (English) Zbl 1047.03022

Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 85-103 (2001).
PDFBibTeX XMLCite

Proving correctness and completeness of normal programs – a declarative approach. (English) Zbl 1053.68527

Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 284-299 (2001).
MSC:  68N17 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: Link

Alternating fixed points in Boolean equation systems as preferred stable models. (English) Zbl 1053.68536

Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 227-241 (2001).
MSC:  68N17 68Q60
PDFBibTeX XMLCite
Full Text: Link

Verification of infinite-state systems by specialization of CLP programs. (English) Zbl 1067.68632

Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 762 (2001).
MSC:  68T20 68Q60
PDFBibTeX XMLCite
Full Text: Link

A temporal concurrent constraint programming calculus. (English) Zbl 1067.68662

Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 302-316 (2001).
PDFBibTeX XMLCite
Full Text: Link

Constraint-based verification of client-server protocols. (English) Zbl 1067.68624

Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 286-301 (2001).
MSC:  68T20 68Q60
PDFBibTeX XMLCite
Full Text: Link

Continuous temporal models. (English) Zbl 1052.03521

Stumptner, Markus (ed.) et al., AI 2001: Advances in artificial intelligence. 14th Australian joint conference, Adelaide, Australia, December 10–14, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42960-3). Lect. Notes Comput. Sci. 2256, 414-425 (2001).
MSC:  03B44 68Q60 68T27
PDFBibTeX XMLCite
Full Text: Link

Transformation of UML specification to XTG. (English) Zbl 1073.68589

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 247-254 (2001).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Semantics and transformations in formal synthesis at system level. (English) Zbl 1073.68672

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 149-156 (2001).
MSC:  68Q55 68Q60
PDFBibTeX XMLCite
Full Text: Link

A verification approach for distributed abstract state machines. (English) Zbl 1073.68691

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 109-115 (2001).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: Link

Accurate widenings and boundedness properties of timed systems. (English) Zbl 1073.68680

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 79-94 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

A transformation of SDL specifications – a step towards the verification. (English) Zbl 1073.68677

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 64-78 (2001).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: Link

On expressive and model checking power of propositional program logics. (English) Zbl 1073.68682

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 39-46 (2001).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: Link

Range allocation for equivalence logic. (English) Zbl 1052.68088

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 317-333 (2001).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: Link

From falsification to verification. (English) Zbl 1052.68086

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 292-304 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

Beyond message sequence graphs. (English) Zbl 1052.68633

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 256-267 (2001).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: Link

Beyond regular model checking. (English) Zbl 1052.68084

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 156-170 (2001).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: Link

Liveness verification of reversal-bounded multicounter machines with a free counter. (English) Zbl 1053.03021

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 132-143 (2001).
PDFBibTeX XMLCite
Full Text: Link

Computability and complexity results for a spatial assertion language for data structures. (English) Zbl 1052.68590

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 108-119 (2001).
MSC:  68P05 68Q25 68Q60
PDFBibTeX XMLCite
Full Text: Link

Distributed LTL model checking based on negative cycle detection. (English) Zbl 1052.68631

Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 96-107 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

On removing the pushdown stack in reachability constructions. (English) Zbl 1077.68668

Eades, Peter (ed.) et al., Algorithms and computation. 12th international symposium, ISAAC 2001, Christchurch, New Zealand, December 19–21, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42985-9). Lect. Notes Comput. Sci. 2223, 244-256 (2001).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: Link

Model checking communication protocols. (English) Zbl 1052.68630

Pacholski, Leszek (ed.) et al., SOFSEM 2001: Theory and practice of informatics. 28th conference on current trends in theory and practice of informatics, Piešt’any, Slovak Republic, November 24 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42912-3). Lect. Notes Comput. Sci. 2234, 160-170 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

Formal verification methods for industrial hardware design. (English) Zbl 1052.68634

Pacholski, Leszek (ed.) et al., SOFSEM 2001: Theory and practice of informatics. 28th conference on current trends in theory and practice of informatics, Piešt’any, Slovak Republic, November 24 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42912-3). Lect. Notes Comput. Sci. 2234, 116-135 (2001).
MSC:  68Q60 68T15 68W30
PDFBibTeX XMLCite
Full Text: Link

Institution independent static analysis for CASL. (English) Zbl 1043.68580

Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 221-237 (2001).
MSC:  68Q60 68Q65
PDFBibTeX XMLCite
Full Text: Link

Geometric modelling with CASL. (English) Zbl 1043.68577

Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 176-200 (2001).
MSC:  68Q60 68Q65 68U07
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software