Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers.
Mark SantolucitoRuzica PiskacPublished in: SIGCSE (2020)
Keyphrases
- early stage
- formal methods
- formal analysis
- provably correct
- knowledge based systems
- software engineering
- artificial intelligence
- computer science
- model checking
- safety critical
- model checker
- formal specification
- data mining
- development lifecycle
- process algebra
- signature scheme
- databases
- modeling language
- reactive systems
- source code
- knowledge base