Modular Software Model Checking for Distributed Systems.
Watcharin LeungwattanakitCyrille ArthoMasami HagiyaYoshinori TanabeMitsuharu YamamotoKoichi TakahashiPublished in: IEEE Trans. Software Eng. (2014)
Keyphrases
- distributed systems
- model checking
- concurrent systems
- software architecture
- temporal logic
- formal verification
- real time systems
- model checker
- distributed environment
- fault tolerant
- temporal properties
- formal methods
- reactive systems
- transition systems
- automated verification
- process algebra
- symbolic model checking
- bounded model checking
- formal specification
- load balancing
- computation tree logic
- fault tolerance
- agent based systems
- verification method
- reachability analysis
- pspace complete
- timed automata
- software development
- modular robots
- distributed database systems
- description language
- abstract interpretation
- software development environments
- high assurance
- data replication
- software systems
- mobile agents
- epistemic logic
- satisfiability problem
- asynchronous circuits
- petri net
- multi agent
- software testing
- test suite
- test cases
- development process
- alternating time temporal logic