Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.
Truc L. NguyenBernd FischerSalvatore La TorreGennaro ParlatoPublished in: ATVA (2016)
Keyphrases
- concurrent programs
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- concurrent programming
- temporal logic
- formal specification
- safety analysis
- information systems
- web applications
- distributed systems
- relational databases
- concurrent processes
- real time
- petri net
- software engineering
- artificial intelligence
- data model
- knowledge base
- machine learning