CafeOBJ swMATH ID: 6232 Software Authors: Mori, Akira; Futatsugi, Kokichi Description: CafeOBJ as a tool for behavioral system verification. We report on a machine supported method for verifying safety properties of dynamic systems based on the first-order description of underlying state transition systems. By capturing a set of states by a state predicate, we can verify safety properties of infinite-state systems using predicate calculus in the set-theoretic iterative calculation of least fixpoints. Homepage: http://www.ldl.jaist.ac.jp/cafeobj/ Related Software: Maude; OBJ3; CASL; ELAN; Isabelle/HOL; ITP; Haskell; LARCH; AProVE; Hets; MTT; MU-TERM; K Prover; Coq; CIRC; PMaude; JavaFAN; CITP; Tyrolean; MMT Cited in: 167 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year CafeOBJ as a tool for behavioral system verification. Zbl 1033.68584Mori, Akira; Futatsugi, Kokichi 2003 all top 5 Cited by 112 Authors 44 Meseguer Guaita, José 25 Roşu, Grigore 24 Diaconescu, Răzvan 18 Futatsugi, Kokichi 15 Ogata, Kazuhiro 11 Goguen, Joseph Amadee 11 Lucas, Salvador 8 Durán, Francisco 8 Gaĭnă, Daniel 6 Lucanu, Dorel 5 Escobar, Santiago 5 Martí-Oliet, Narciso 5 Şerbănuţă, Traian Florin 5 Stefaneas, Petros S. 5 Ţuţu, Ionuţ 4 Bjørner, Dines 4 Bruni, Roberto 4 Hennicker, Rolf 4 Mossakowski, Till 4 Riesco, Adrián 3 Alpuente, María 3 Bidoit, Michel 3 Clavel, Manuel 3 Gutiérrez, Raúl 3 Martins, Manuel António 3 Montanari, Ugo G. 3 Palomino, Miguel 3 Popescu, Andrei 3 Skeirik, Stephen 2 Eker, Steven 2 Frangos, Panayiotis V. 2 Giesl, Jürgen 2 Ksystra, Katerina 2 Lin, Kai 2 Lincoln, Patrick D. 2 Madeira, Alexandre 2 Malcolm, Grant 2 Marché, Claude 2 Middeldorp, Aart 2 Nakamura, Masaki 2 Ojeda, Pedro 2 Ouranos, Iakovos Ch. 2 Rocha, Camilo 2 Sannella, Donald T. 2 Talcott, Carolyn L. 2 Tarlecki, Andrzej 2 Thati, Prasanna 1 Ahmed, Waqar 1 Alarcón, Beatriz 1 Alcalde, Juan 1 Andrei, Oana 1 Apetrei, Adriana 1 Arenas, Aurelio 1 Arkoudas, Konstantine 1 Barbosa, Luís Soares 1 Bringsjord, Selmer 1 Buss, Samuel R. 1 Chen, Feng 1 Cirstea, Horatiu 1 Codescu, Mihai 1 Daudier, Dorian 1 Dong, JinSong 1 Dougherty, Daniel J. 1 Espert, Javier 1 Ferreirim, Isabel M. A. 1 Gadducci, Fabio 1 Gheorghies, Ovidiu 1 Hamana, Makoto 1 Hasan, Osman 1 Haxthausen, Anne Elisabeth 1 Ibanescu, Liliana 1 Iohara, Kenji 1 Jouannaud, Jean-Pierre 1 Kemp, Tom 1 Kirchner, Claude 1 Kirchner, Hélène 1 Knapp, Alexander 1 Lechner, Ulrike 1 Lescanne, Pierre 1 Li, Yongjian 1 Liquori, Luigi 1 Liu, Yang 1 López Pombo, Carlos Gustavo 1 Maeder, Christian 1 Malbos, Philippe 1 Martinez Suñé, Agustín Eloy 1 Mori, Akira 1 Nicolás, Joaquín 1 Olveczky, Peter Csaba 1 Padawitz, Peter 1 Pang, Jun 1 Pawłowski, Wiesław 1 Petria, Marius 1 Pigozzi, Don Leonard 1 Preining, Norbert 1 Raffelsieper, Matthias 1 Saito, Masa-Hiko 1 Schröder, Lutz 1 Seino, Takahiro 1 Ştefănescu, Gheorghe ...and 12 more Authors all top 5 Cited in 29 Serials 28 Theoretical Computer Science 6 The Journal of Logic and Algebraic Programming 6 Journal of Logical and Algebraic Methods in Programming 4 Information Processing Letters 4 Information and Computation 4 Formal Aspects of Computing 3 Journal of Logic and Computation 3 Mathematical Structures in Computer Science 3 Applied Categorical Structures 2 Cybernetics and Systems Analysis 2 Journal of Functional Programming 2 Logica Universalis 2 Logical Methods in Computer Science 1 Artificial Intelligence 1 Journal of Computer and System Sciences 1 Cybernetics and Systems 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Archive for Mathematical Logic 1 RIMS Kokyuroku 1 Higher-Order and Symbolic Computation 1 Annals of Software Engineering 1 Computing and Informatics 1 Lecture Notes in Computer Science 1 AMAST Series in Computing 1 Algorithms and Computation in Mathematics 1 Studies in Universal Logic 1 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Cited in 17 Fields 155 Computer science (68-XX) 56 Mathematical logic and foundations (03-XX) 12 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year