Parameterized Specification and Verification of the Chilean Electronic Invoices System.
Isabelle AttaliTomás BarrosEric MadelainePublished in: SCCC (2004)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- formal specification
- design automation
- legal information
- real world
- specification language
- metadata
- business processes
- database systems
- test generation
- electronic marketplaces
- high level
- provably correct
- artificial intelligence
- job search
- learning algorithm