Formal Methods in Verification 技术
algorithmgrowing领域: Physical Sciences
0
衍生技术
0
相关产品
0
相关事件
Formal Methods in Verification · 相关论文
Petri nets: Properties, analysis and applications
1989Proceedings of the IEEE引用 10527
Graph-Based Algorithms for Boolean Function Manipulation
1986IEEE Transactions on Computers引用 8906
Statecharts: a visual formalism for complex systems
1987Science of Computer Programming引用 6713
A theory of timed automata
1994Theoretical Computer Science引用 6451
Z3: An Efficient SMT Solver
2008Lecture notes in computer science引用 6257
Abstract interpretation
1977引用 6176
The temporal logic of programs
1977引用 5645
Principles of Model Checking
2008引用 4926
On observing nondeterminism and concurrency
1980Lecture notes in computer science引用 4497
Protocol Analysis: Verbal Reports as Data
1986Journal of Marketing Research引用 4358