Parameterized verification of monotone information systems.
Raphaël Chane-Yack-FaMarc FrappierAmel MammarAlain FinkelPublished in: Formal Aspects Comput. (2018)
Keyphrases
- information systems
- model checking
- information technology
- upper bound
- boolean functions
- formal verification
- health care
- project management
- systems development
- knowledge management
- asynchronous circuits
- verification method
- concurrent systems
- computer systems
- data sets
- face verification
- conceptual models
- distributed information systems