Title :
Structural and behavioral modeling with monadic logics
Author :
Ayari, Abdelwaheb ; Basin, David ; Friedrich, Stefan
Author_Institution :
Inst. fur Inf., Albert-Ludwigs-Univ., Freiburg, Germany
Abstract :
Logic offers the possibility of modeling and reasoning about hardware and software. But which logic? We propose monadic logics of strings and trees as good candidates for many kinds of discrete systems. These logics are natural, decidable, yet substantially more expressive, extensions of Boolean logic. We motivate their applicability through examples
Keywords :
Boolean algebra; formal logic; Boolean logic; behavioral modeling; discrete systems; monadic logics; Boolean functions; Combinational circuits; Hardware; Logic circuits; Pins; Power supplies; Power system modeling; Predictive models; Proposals; Systems engineering and theory;
Conference_Titel :
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location :
Freiburg
Print_ISBN :
0-7695-0161-3
DOI :
10.1109/ISMVL.1999.779709
