×

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; ITP; Haskell; LARCH; AProVE; MTT; Hets; Isabelle/HOL; MU-TERM; CIRC; PMaude; JavaFAN; Coq; CITP; K Prover; Tyrolean; MMT
Cited in: 160 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
CafeOBJ as a tool for behavioral system verification. Zbl 1033.68584
Mori, Akira; Futatsugi, Kokichi
2003
all top 5

Cited by 107 Authors

41 Meseguer Guaita, José
24 Roşu, Grigore
23 Diaconescu, Răzvan
18 Futatsugi, Kokichi
14 Ogata, Kazuhiro
11 Goguen, Joseph Amadee
11 Lucas, Salvador
8 Durán, Francisco
8 Gaĭnă, Daniel
5 Escobar, Santiago
5 Lucanu, Dorel
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
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 Skeirik, Stephen
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 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 Maeder, Christian
1 Malbos, Philippe
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
1 Sun, Jun
1 Suzuki, Yasuhito
1 Takayama, Nobuki
...and 7 more Authors

Citations by Year