The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions.
Jonas Kjær RaskFrederik Palludan MadsenNick BattleHugo Daniel MacedoPeter Gorm LarsenPublished in: F-IDE@NFM (2021)
Keyphrases
- specification language
- file transfer
- authentication protocol
- tcp ip
- model checker
- formal specification
- description language
- programming language
- ip address
- client server architecture
- client server
- remote server
- transport protocol
- database
- network congestion
- software environment
- model checking
- cryptographic protocols
- wide area network
- ip addresses
- security protocols
- software architecture
- requirements specification
- general purpose
- private information retrieval
- databases