Program composition and modular verification
Bibliographic Data
| ID | 23564319 |
|---|---|
| Authors | Limor Fix (Technion – Israel Institute of Technology), Nissim Francez (0000-0002-6993-4392, Technion – Israel Institute of Technology), Orna Grumberg (0009-0005-9682-3312, Technion – Israel Institute of Technology) |
| Year | 1991 |
| Pages | 93-114 |
| Publication date | 1991-01-01 |
| Open Access | No |
| Type | CHAPTER |
| Venue | Automata, Languages and Programming (SOURCE_BOOK) |
| Publisher | Springer Berlin Heidelberg (PUBLISHER) |
| DOI | 10.1007/3-540-54233-7_127 |
| OpenAlex | W1514689351 |
| ISBN | 9783540542339 |
| Language | EN |
| References cited | 13 |
Composition (language) · Distributed computing · Model checking · Modular design · Modularity (biology) · Programming language · Property (philosophy) · Computer Science · Distributed systems and fault tolerance · Formal Methods in Verification · Logic, programming, and type systems · Theoretical Computer Science
| Highly cited | No |
|---|