暂无分享,去创建一个
Leslie Lamport | Daniel Ricketts | Markus Alexander Kuppe | L. Lamport | Daniel Ricketts | Markus Kuppe | M. Kuppe
[1] Igor Konnov,et al. TLA+ model checking made symbolic , 2019, Proc. ACM Program. Lang..
[2] L. Lamport. Using TLC to Check Inductive Invariance , 2018 .
[3] C. Newcombe,et al. How Amazon web services uses formal methods , 2015, Commun. ACM.
[4] Stephan Merz,et al. TLA + Proofs , 2012, FM.
[5] L. Lamport. How to write a 21st century proof , 2012 .
[6] Leslie Lamport,et al. The PlusCal Algorithm Language , 2009, ICTAC.
[7] Stephan Merz,et al. A TLA+ Proof System , 2008, LPAR Workshops.
[8] P. Shannon,et al. Cytoscape: a software environment for integrated models of biomolecular interaction networks. , 2003, Genome research.
[9] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[10] D. Marples,et al. The Open Services Gateway Initiative: an introductory overview , 2001, IEEE Commun. Mag..
[11] Leslie Lamport,et al. Model Checking TLA+ Specifications , 1999, CHARME.
[12] Leslie Lamport,et al. Should your specification language be typed , 1999, TOPL.
[13] Leslie Lamport,et al. How to Write a Proof , 1995 .
[14] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[15] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).