DocumentCode
2993474
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
fYear
1999
fDate
1999
Firstpage
142
Lastpage
151
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location
Freiburg
ISSN
0195-623X
Print_ISBN
0-7695-0161-3
Type
conf
DOI
10.1109/ISMVL.1999.779709
Filename
779709
Link To Document