Towards Using Formal Methods in Prototyping: Advantage or Impediment?
Sebastian SchirmerTino TeigeChristoph TorensUdo BrockmeyerPublished in: Software Engineering (Workshops) (2020)
Keyphrases
- formal methods
- model checking
- software engineering
- formal analysis
- artificial intelligence
- model checker
- formal specification
- knowledge based systems
- provably correct
- development process
- safety critical
- temporal properties
- modeling language
- rapid prototyping
- security properties
- process algebra
- formal specification language
- development lifecycle
- reactive systems
- user interface